Trace number 4387699

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 880.126 799.086

General information on the benchmark

NameMagicSequence/MagicSequence-card-s1/
MagicSequence-800-ca.xml
MD5SUMbba643cbf375a501e11ba296082ede1c
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 benchmark2.78579
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints3
Number of domains1
Minimum domain size800
Maximum domain size800
Distribution of domain sizes[{"size":800,"count":800}]
Minimum variable degree3
Maximum variable degree3
Distribution of variable degrees[{"degree":3,"count":800}]
Minimum constraint arity800
Maximum constraint arity800
Distribution of constraint arities[{"arity":800,"count":3}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":2},{"type":"cardinality","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-2014-serial-file.bin HOME/instance-4387699-1568288946.xml
0.66/0.52	
0.66/0.52	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.52	
0.66/0.54	c BEGIN-Prog: Thu Sep 12 13:48:26 CEST 2019
0.66/0.54	c PID: 2017
0.66/0.54	c IP: 172.20.3.146
0.66/0.54	c HOST: node146.alineos.net
0.66/0.55	c (0,0) Parsing Begin
1.78/1.03	c (0,0) Parsing End
1.78/1.04	c (0,0) CSP: 800 int (0 aux), 0 bool (0 aux), 3 ctr, max domain size 800
1.78/1.04	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.78/1.04	c (0,0) Constraint Name Generate Begin
1.78/1.05	c (0,0) Ctr:HOME/instance-4387699-1568288946.xml,Cardinality:Num:Var:WeightedSum
1.78/1.05	c (0,0) Constraint Name Generate End
1.78/1.05	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.78/1.05	c (0,0) CSP to CSPinCNF Begin
1.78/1.09	c (0,0) translated 1 (10%) constraints
333.72/309.92	c (309,302) translated 2 (20%) constraints
334.19/310.38	c (309,303) translated 3 (30%) constraints
334.75/310.84	c (310,303) ===========================================
336.76/311.65	c (311,304) Hybrid: #OE=0, #LE=640800
336.76/311.65	c (311,304) Hybrid
336.76/311.65	c (311,304) ===========================================
431.05/402.09	c (401,393) translated 128081 (10%) constraints
436.98/407.97	c (407,399) translated 256161 (20%) constraints
445.18/414.62	c (414,405) translated 384241 (30%) constraints
451.08/420.50	c (419,411) translated 512321 (40%) constraints
459.38/427.03	c (426,417) translated 640401 (50%) constraints
466.94/433.39	c (432,423) translated 768482 (60%) constraints
472.94/439.34	c (438,429) translated 896562 (70%) constraints
481.04/445.82	c (445,435) translated 1024642 (80%) constraints
487.00/451.78	c (451,441) translated 1152722 (90%) constraints
495.39/458.58	c (458,447) translated 1280802 (100%) constraints
495.79/458.92	c (458,448) CSP to CSPinCNF End
496.11/459.20	c (458,448) CSP: 401 int (0 aux), 1280399 bool (1280000 aux), 2561604 ctr, max domain size 800
496.11/459.20	c (458,448) Heap : 6090 MiB used (max 10730 MiB), NonHeap : 26 MiB used (max 0 MiB)
496.11/459.20	c (458,448) CSPinCNF Propagation Begin
800.89/739.23	c (738,720) 1266444 values, 2533044 unsatisfiable literals, and 2533044 valid clauses are removed
800.89/739.23	c (738,720) CSPinCNF Propagation End
801.29/739.63	c (739,720) CSP: 401 int (0 aux), 1280399 bool (1280000 aux), 28560 ctr, max domain size 800
801.29/739.63	c (739,720) Heap : 7331 MiB used (max 11231 MiB), NonHeap : 26 MiB used (max 0 MiB)
801.66/739.94	c (739,720) Hybrid: #OE=640000, #LE=640800
801.66/739.94	c (739,720) Simplify CSPinCNF Begin
802.63/740.54	c (740,721) Simplify CSPinCNF End
803.22/740.95	c (740,721) CSP: 401 int (0 aux), 1291477 bool (1291078 aux), 39638 ctr, max domain size 800
803.22/740.95	c (740,721) Heap : 7773 MiB used (max 11231 MiB), NonHeap : 26 MiB used (max 0 MiB)
803.22/740.95	c (740,721) Calculate Precise Domain Begin
803.22/740.95	c (740,721) 0 values are removed by re-calculation
803.22/740.95	c (740,721) Calculate Precise Domain End
803.62/741.36	c (740,722) CSP: 401 int (0 aux), 1291477 bool (1291078 aux), 39638 ctr, max domain size 800
803.62/741.36	c (740,722) Heap : 7773 MiB used (max 11231 MiB), NonHeap : 26 MiB used (max 0 MiB)
803.62/741.36	c (740,722) CSPinCNF to SatSolver Begin
828.66/758.84	c (758,736) 3964 (10 %) CSP clauses are encoded (0 SAT variables, 5144202 SAT clauses)
829.27/759.01	c (758,736) 7928 (20 %) CSP clauses are encoded (0 SAT variables, 5155527 SAT clauses)
829.58/759.15	c (758,736) 11892 (30 %) CSP clauses are encoded (0 SAT variables, 5170577 SAT clauses)
829.85/759.29	c (758,736) 15856 (40 %) CSP clauses are encoded (0 SAT variables, 5192458 SAT clauses)
830.41/759.42	c (758,737) 19819 (50 %) CSP clauses are encoded (0 SAT variables, 5220032 SAT clauses)
830.58/759.55	c (759,737) 23783 (60 %) CSP clauses are encoded (0 SAT variables, 5253540 SAT clauses)
830.69/759.70	c (759,737) 27747 (70 %) CSP clauses are encoded (0 SAT variables, 5292668 SAT clauses)
830.88/759.86	c (759,737) 31711 (80 %) CSP clauses are encoded (0 SAT variables, 5336974 SAT clauses)
831.09/760.02	c (759,737) 35675 (90 %) CSP clauses are encoded (0 SAT variables, 5384272 SAT clauses)
848.54/774.04	c (773,749) 39638 (100 %) CSP clauses are encoded (0 SAT variables, 10404832 SAT clauses)
856.68/779.95	c (779,754) CSPinCNF to SatSolver End
856.68/779.95	c (779,754) Heap : 9728 MiB used (max 10709 MiB), NonHeap : 30 MiB used (max 0 MiB)
856.68/779.95	c (779,754) 4562826 bool, 12814637 clause
856.68/779.95	c (779,754) Export Begin
857.08/780.17	c (779,754) Export to HOME/scop-2014-serial-file.bin
857.08/780.17	c (779,754) Export End
857.08/780.17	c (779,754) Export File Size: 0.35 MB
857.08/780.17	c (779,754) 0,0,458,739,740,740,779,STOP-AFTER(DIMACS)
857.08/780.17	c END-Prog: Thu Sep 12 14:01:25 CEST 2019
0.00/780.22	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-2014-serial-file.bin
857.31/780.69	c (0,0) Read Serial File Begin
857.31/780.69	c (0,0) HOME/scop-2014-serial-file.bin
858.59/781.03	c (0,0) Read Serial File End
858.59/781.04	
858.59/781.04	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
858.59/781.04	(Solving Process)
858.59/781.04	
858.59/781.06	c BEGIN-Prog: Thu Sep 12 14:01:26 CEST 2019
858.59/781.06	c PID: 2137
858.59/781.06	c IP: 172.20.3.146
858.59/781.06	c HOST: node146.alineos.net
858.59/781.07	c (0,0) SatSolver.solve Begin
858.59/781.07	c (0,0) HOME/cryptominisat5  HOME/instance-4387699-1568288946.xml-scop-2017.cnf
858.59/781.10	c (0,0) c Outputting solution to console
858.59/781.10	c (0,0) c CryptoMiniSat version 5.6.8
858.59/781.10	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
858.59/781.10	c (0,0) c CMS SHA revision GIT-notfound
858.59/781.10	c (0,0) c CMS is MIT licensed
858.59/781.10	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
858.59/781.10	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
858.59/781.10	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387699-1568288946.xml-scop-2017.cnf
858.59/781.10	c (0,0) c Reading file 'HOME/instance-4387699-1568288946.xml-scop-2017.cnf'
858.59/781.10	c (0,0) c -- header says num vars:        4562826
858.59/781.10	c (0,0) c -- header says num clauses:    12814637
863.74/785.95	c (5,0) c -- clauses added: 12814637
863.74/785.95	c (5,0) c -- xor clauses added: 0
863.74/785.95	c (5,0) c -- vars added 4562826
863.74/785.95	c (5,0) c Parsing time: 4.36 s
872.87/795.06	c (14,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
873.06/795.26	c (14,0) c ------- FINAL TOTAL SEARCH STATS ---------
873.06/795.26	c (14,0) c UIP search time          : 9.02        (67.14     % time)
873.06/795.26	c (14,0) c restarts                 : 1           (69.00     confls per restart)
873.06/795.26	c (14,0) c blocked restarts         : 0           (0.00      per normal restart)
873.06/795.26	c (14,0) c time                     : 9.02        
873.06/795.26	c (14,0) c decisions                : 1150079     (0.00      % random)
873.06/795.26	c (14,0) c propagations             : 34587740    
873.06/795.26	c (14,0) c decisions/conflicts      : 16667.81    
873.06/795.26	c (14,0) c conflicts                : 69          (7.65      / sec)
873.06/795.26	c (14,0) c conf lits non-minim      : 150859      (2186.36   lit/confl)
873.06/795.26	c (14,0) c conf lits final          : 65.51       
873.06/795.26	c (14,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
873.06/795.26	c (14,0) c red which0               : 3           (4.35      % of confl)
873.06/795.26	c (14,0) c props/decision           : 0.00        
873.06/795.26	c (14,0) c props/conflict           : 0.00        
873.06/795.26	c (14,0) c 0-depth assigns          : 1361        (0.03      % vars)
873.06/795.26	c (14,0) c 0-depth assigns by CNF   : 1361        (0.03      % vars)
873.06/795.26	c (14,0) c reduceDB time            : 0.00        (0.00      % time)
873.06/795.26	c (14,0) c OccSimplifier time       : 0.00        (0.00      % time)
873.06/795.26	c (14,0) c [occur] 0.00 is overhead
873.06/795.26	c (14,0) c [occur] link-in T: 0.00 cleanup T: 0.00
873.06/795.26	c (14,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
873.06/795.26	c (14,0) c SCC time                 : 0.00        (0.00      % time)
873.06/795.26	c (14,0) c [scc] new: 0 BP 0M  T: 0.00
873.06/795.26	c (14,0) c vrep replace time        : 0.00        (0.00      % time)
873.06/795.26	c (14,0) c vrep tree roots          : 0           
873.06/795.26	c (14,0) c vrep trees' crown        : 0           (0.00      leafs/tree)
873.06/795.26	c (14,0) c distill time             : 0.00        (0.00      % time)
873.06/795.26	c (14,0) c strength cache-irred time: 0.00        (0.00      % time)
873.06/795.26	c (14,0) c strength cache-red time  : 0.00        (0.00      % time)
873.06/795.26	c (14,0) c Conflicts in UIP         : 69          (5.14      confl/time_this_thread)
873.06/795.26	c (14,0) c Mem used                 : 1959.35     MB
873.06/795.26	c (14,0) c Total time (this thread) : 13.43       
873.06/795.26	c (14,0) s SATISFIABLE
879.44/798.85	c (18,0) SatSolver.solve End
879.44/798.85	c (18,0) Heap : 310 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
879.44/798.85	c (18,0) Show results Begin
879.66/798.99	c (18,0) x[0] = 796
879.66/798.99	c (18,0) x[1] = 2
879.66/798.99	c (18,0) x[2] = 1
879.66/798.99	c (18,0) x[3] = 0
879.66/798.99	c (18,0) x[4] = 0
879.66/798.99	c (18,0) x[5] = 0
879.66/798.99	c (18,0) x[6] = 0
879.66/798.99	c (18,0) x[7] = 0
879.66/798.99	c (18,0) x[8] = 0
879.66/798.99	c (18,0) x[9] = 0
879.66/798.99	c (18,0) x[10] = 0
879.66/798.99	c (18,0) x[11] = 0
879.66/798.99	c (18,0) x[12] = 0
879.66/798.99	c (18,0) x[13] = 0
879.66/798.99	c (18,0) x[14] = 0
879.66/798.99	c (18,0) x[15] = 0
879.66/798.99	c (18,0) x[16] = 0
879.66/798.99	c (18,0) x[17] = 0
879.66/798.99	c (18,0) x[18] = 0
879.66/798.99	c (18,0) x[19] = 0
879.66/798.99	c (18,0) x[20] = 0
879.66/798.99	c (18,0) x[21] = 0
879.66/798.99	c (18,0) x[22] = 0
879.66/798.99	c (18,0) x[23] = 0
879.66/798.99	c (18,0) x[24] = 0
879.66/798.99	c (18,0) x[25] = 0
879.66/798.99	c (18,0) x[26] = 0
879.66/798.99	c (18,0) x[27] = 0
879.66/798.99	c (18,0) x[28] = 0
879.66/798.99	c (18,0) x[29] = 0
879.66/798.99	c (18,0) x[30] = 0
879.66/798.99	c (18,0) x[31] = 0
879.66/798.99	c (18,0) x[32] = 0
879.66/798.99	c (18,0) x[33] = 0
879.66/798.99	c (18,0) x[34] = 0
879.66/798.99	c (18,0) x[35] = 0
879.66/798.99	c (18,0) x[36] = 0
879.66/798.99	c (18,0) x[37] = 0
879.66/798.99	c (18,0) x[38] = 0
879.66/798.99	c (18,0) x[39] = 0
879.66/798.99	c (18,0) x[40] = 0
879.66/798.99	c (18,0) x[41] = 0
879.66/798.99	c (18,0) x[42] = 0
879.66/798.99	c (18,0) x[43] = 0
879.66/798.99	c (18,0) x[44] = 0
879.66/798.99	c (18,0) x[45] = 0
879.66/798.99	c (18,0) x[46] = 0
879.66/798.99	c (18,0) x[47] = 0
879.66/798.99	c (18,0) x[48] = 0
879.66/798.99	c (18,0) x[49] = 0
879.66/798.99	c (18,0) x[50] = 0
879.66/798.99	c (18,0) x[51] = 0
879.66/798.99	c (18,0) x[52] = 0
879.66/798.99	c (18,0) x[53] = 0
879.66/798.99	c (18,0) x[54] = 0
879.66/798.99	c (18,0) x[55] = 0
879.66/798.99	c (18,0) x[56] = 0
879.66/798.99	c (18,0) x[57] = 0
879.66/798.99	c (18,0) x[58] = 0
879.66/798.99	c (18,0) x[59] = 0
879.66/798.99	c (18,0) x[60] = 0
879.66/798.99	c (18,0) x[61] = 0
879.66/798.99	c (18,0) x[62] = 0
879.66/798.99	c (18,0) x[63] = 0
879.66/798.99	c (18,0) x[64] = 0
879.66/798.99	c (18,0) x[65] = 0
879.66/798.99	c (18,0) x[66] = 0
879.66/798.99	c (18,0) x[67] = 0
879.66/798.99	c (18,0) x[68] = 0
879.66/798.99	c (18,0) x[69] = 0
879.66/798.99	c (18,0) x[70] = 0
879.66/798.99	c (18,0) x[71] = 0
879.66/798.99	c (18,0) x[72] = 0
879.66/798.99	c (18,0) x[73] = 0
879.66/798.99	c (18,0) x[74] = 0
879.66/798.99	c (18,0) x[75] = 0
879.66/798.99	c (18,0) x[76] = 0
879.66/798.99	c (18,0) x[77] = 0
879.66/798.99	c (18,0) x[78] = 0
879.66/798.99	c (18,0) x[79] = 0
879.66/798.99	c (18,0) x[80] = 0
879.66/798.99	c (18,0) x[81] = 0
879.66/798.99	c (18,0) x[82] = 0
879.66/798.99	c (18,0) x[83] = 0
879.66/798.99	c (18,0) x[84] = 0
879.66/798.99	c (18,0) x[85] = 0
879.66/798.99	c (18,0) x[86] = 0
879.66/798.99	c (18,0) x[87] = 0
879.66/798.99	c (18,0) x[88] = 0
879.66/798.99	c (18,0) x[89] = 0
879.66/798.99	c (18,0) x[90] = 0
879.66/798.99	c (18,0) x[91] = 0
879.66/798.99	c (18,0) x[92] = 0
879.66/798.99	c (18,0) x[93] = 0
879.66/798.99	c (18,0) x[94] = 0
879.66/798.99	c (18,0) x[95] = 0
879.66/798.99	c (18,0) x[96] = 0
879.66/798.99	c (18,0) x[97] = 0
879.66/798.99	c (18,0) x[98] = 0
879.66/798.99	c (18,0) x[99] = 0
879.66/798.99	c (18,0) x[100] = 0
879.66/798.99	c (18,0) x[101] = 0
879.66/798.99	c (18,0) x[102] = 0
879.66/798.99	c (18,0) x[103] = 0
879.66/798.99	c (18,0) x[104] = 0
879.66/798.99	c (18,0) x[105] = 0
879.66/798.99	c (18,0) x[106] = 0
879.66/798.99	c (18,0) x[107] = 0
879.66/798.99	c (18,0) x[108] = 0
879.66/798.99	c (18,0) x[109] = 0
879.66/798.99	c (18,0) x[110] = 0
879.66/798.99	c (18,0) x[111] = 0
879.66/798.99	c (18,0) x[112] = 0
879.66/798.99	c (18,0) x[113] = 0
879.66/798.99	c (18,0) x[114] = 0
879.66/798.99	c (18,0) x[115] = 0
879.66/798.99	c (18,0) x[116] = 0
879.66/798.99	c (18,0) x[117] = 0
879.66/798.99	c (18,0) x[118] = 0
879.66/798.99	c (18,0) x[119] = 0
879.66/798.99	c (18,0) x[120] = 0
879.66/798.99	c (18,0) x[121] = 0
879.66/798.99	c (18,0) x[122] = 0
879.66/798.99	c (18,0) x[123] = 0
879.66/798.99	c (18,0) x[124] = 0
879.66/798.99	c (18,0) x[125] = 0
879.66/798.99	c (18,0) x[126] = 0
879.66/798.99	c (18,0) x[127] = 0
879.66/798.99	c (18,0) x[128] = 0
879.66/798.99	c (18,0) x[129] = 0
879.66/798.99	c (18,0) x[130] = 0
879.66/798.99	c (18,0) x[131] = 0
879.66/798.99	c (18,0) x[132] = 0
879.66/798.99	c (18,0) x[133] = 0
879.66/798.99	c (18,0) x[134] = 0
879.66/798.99	c (18,0) x[135] = 0
879.66/798.99	c (18,0) x[136] = 0
879.66/798.99	c (18,0) x[137] = 0
879.66/798.99	c (18,0) x[138] = 0
879.66/798.99	c (18,0) x[139] = 0
879.66/798.99	c (18,0) x[140] = 0
879.66/798.99	c (18,0) x[141] = 0
879.66/798.99	c (18,0) x[142] = 0
879.66/798.99	c (18,0) x[143] = 0
879.66/798.99	c (18,0) x[144] = 0
879.66/798.99	c (18,0) x[145] = 0
879.66/798.99	c (18,0) x[146] = 0
879.66/798.99	c (18,0) x[147] = 0
879.66/798.99	c (18,0) x[148] = 0
879.66/798.99	c (18,0) x[149] = 0
879.66/798.99	c (18,0) x[150] = 0
879.66/798.99	c (18,0) x[151] = 0
879.66/798.99	c (18,0) x[152] = 0
879.66/798.99	c (18,0) x[153] = 0
879.66/798.99	c (18,0) x[154] = 0
879.66/798.99	c (18,0) x[155] = 0
879.66/798.99	c (18,0) x[156] = 0
879.66/798.99	c (18,0) x[157] = 0
879.66/798.99	c (18,0) x[158] = 0
879.66/798.99	c (18,0) x[159] = 0
879.66/798.99	c (18,0) x[160] = 0
879.66/798.99	c (18,0) x[161] = 0
879.66/798.99	c (18,0) x[162] = 0
879.66/798.99	c (18,0) x[163] = 0
879.66/798.99	c (18,0) x[164] = 0
879.66/798.99	c (18,0) x[165] = 0
879.66/798.99	c (18,0) x[166] = 0
879.66/798.99	c (18,0) x[167] = 0
879.66/798.99	c (18,0) x[168] = 0
879.66/798.99	c (18,0) x[169] = 0
879.66/798.99	c (18,0) x[170] = 0
879.66/798.99	c (18,0) x[171] = 0
879.66/798.99	c (18,0) x[172] = 0
879.66/798.99	c (18,0) x[173] = 0
879.66/798.99	c (18,0) x[174] = 0
879.66/798.99	c (18,0) x[175] = 0
879.66/798.99	c (18,0) x[176] = 0
879.66/798.99	c (18,0) x[177] = 0
879.66/798.99	c (18,0) x[178] = 0
879.66/798.99	c (18,0) x[179] = 0
879.66/798.99	c (18,0) x[180] = 0
879.66/798.99	c (18,0) x[181] = 0
879.66/798.99	c (18,0) x[182] = 0
879.66/798.99	c (18,0) x[183] = 0
879.66/798.99	c (18,0) x[184] = 0
879.66/798.99	c (18,0) x[185] = 0
879.66/798.99	c (18,0) x[186] = 0
879.66/798.99	c (18,0) x[187] = 0
879.66/798.99	c (18,0) x[188] = 0
879.66/798.99	c (18,0) x[189] = 0
879.66/798.99	c (18,0) x[190] = 0
879.66/798.99	c (18,0) x[191] = 0
879.66/798.99	c (18,0) x[192] = 0
879.66/798.99	c (18,0) x[193] = 0
879.66/798.99	c (18,0) x[194] = 0
879.66/798.99	c (18,0) x[195] = 0
879.66/798.99	c (18,0) x[196] = 0
879.66/798.99	c (18,0) x[197] = 0
879.66/798.99	c (18,0) x[198] = 0
879.66/798.99	c (18,0) x[199] = 0
879.66/798.99	c (18,0) x[200] = 0
879.66/798.99	c (18,0) x[201] = 0
879.66/798.99	c (18,0) x[202] = 0
879.66/798.99	c (18,0) x[203] = 0
879.66/798.99	c (18,0) x[204] = 0
879.66/798.99	c (18,0) x[205] = 0
879.66/798.99	c (18,0) x[206] = 0
879.66/798.99	c (18,0) x[207] = 0
879.66/798.99	c (18,0) x[208] = 0
879.66/798.99	c (18,0) x[209] = 0
879.66/799.00	c (18,0) x[210] = 0
879.66/799.00	c (18,0) x[211] = 0
879.66/799.00	c (18,0) x[212] = 0
879.66/799.00	c (18,0) x[213] = 0
879.66/799.00	c (18,0) x[214] = 0
879.66/799.00	c (18,0) x[215] = 0
879.66/799.00	c (18,0) x[216] = 0
879.66/799.00	c (18,0) x[217] = 0
879.66/799.00	c (18,0) x[218] = 0
879.66/799.00	c (18,0) x[219] = 0
879.66/799.00	c (18,0) x[220] = 0
879.66/799.00	c (18,0) x[221] = 0
879.66/799.00	c (18,0) x[222] = 0
879.66/799.00	c (18,0) x[223] = 0
879.66/799.00	c (18,0) x[224] = 0
879.66/799.00	c (18,0) x[225] = 0
879.66/799.00	c (18,0) x[226] = 0
879.66/799.00	c (18,0) x[227] = 0
879.66/799.00	c (18,0) x[228] = 0
879.66/799.00	c (18,0) x[229] = 0
879.66/799.00	c (18,0) x[230] = 0
879.66/799.00	c (18,0) x[231] = 0
879.66/799.00	c (18,0) x[232] = 0
879.66/799.00	c (18,0) x[233] = 0
879.66/799.00	c (18,0) x[234] = 0
879.66/799.00	c (18,0) x[235] = 0
879.66/799.00	c (18,0) x[236] = 0
879.66/799.00	c (18,0) x[237] = 0
879.66/799.00	c (18,0) x[238] = 0
879.66/799.00	c (18,0) x[239] = 0
879.66/799.00	c (18,0) x[240] = 0
879.66/799.00	c (18,0) x[241] = 0
879.66/799.00	c (18,0) x[242] = 0
879.66/799.00	c (18,0) x[243] = 0
879.66/799.00	c (18,0) x[244] = 0
879.66/799.00	c (18,0) x[245] = 0
879.66/799.00	c (18,0) x[246] = 0
879.66/799.00	c (18,0) x[247] = 0
879.66/799.00	c (18,0) x[248] = 0
879.66/799.00	c (18,0) x[249] = 0
879.66/799.00	c (18,0) x[250] = 0
879.66/799.00	c (18,0) x[251] = 0
879.66/799.00	c (18,0) x[252] = 0
879.66/799.00	c (18,0) x[253] = 0
879.66/799.00	c (18,0) x[254] = 0
879.66/799.00	c (18,0) x[255] = 0
879.66/799.00	c (18,0) x[256] = 0
879.66/799.00	c (18,0) x[257] = 0
879.66/799.00	c (18,0) x[258] = 0
879.66/799.00	c (18,0) x[259] = 0
879.66/799.00	c (18,0) x[260] = 0
879.66/799.00	c (18,0) x[261] = 0
879.66/799.00	c (18,0) x[262] = 0
879.66/799.00	c (18,0) x[263] = 0
879.66/799.00	c (18,0) x[264] = 0
879.66/799.00	c (18,0) x[265] = 0
879.66/799.00	c (18,0) x[266] = 0
879.66/799.00	c (18,0) x[267] = 0
879.66/799.00	c (18,0) x[268] = 0
879.66/799.00	c (18,0) x[269] = 0
879.66/799.00	c (18,0) x[270] = 0
879.66/799.00	c (18,0) x[271] = 0
879.66/799.00	c (18,0) x[272] = 0
879.66/799.00	c (18,0) x[273] = 0
879.66/799.00	c (18,0) x[274] = 0
879.66/799.00	c (18,0) x[275] = 0
879.66/799.00	c (18,0) x[276] = 0
879.66/799.00	c (18,0) x[277] = 0
879.66/799.00	c (18,0) x[278] = 0
879.66/799.00	c (18,0) x[279] = 0
879.66/799.00	c (18,0) x[280] = 0
879.66/799.00	c (18,0) x[281] = 0
879.66/799.00	c (18,0) x[282] = 0
879.66/799.00	c (18,0) x[283] = 0
879.66/799.00	c (18,0) x[284] = 0
879.66/799.00	c (18,0) x[285] = 0
879.66/799.00	c (18,0) x[286] = 0
879.66/799.00	c (18,0) x[287] = 0
879.66/799.00	c (18,0) x[288] = 0
879.66/799.00	c (18,0) x[289] = 0
879.66/799.00	c (18,0) x[290] = 0
879.66/799.00	c (18,0) x[291] = 0
879.66/799.00	c (18,0) x[292] = 0
879.66/799.00	c (18,0) x[293] = 0
879.66/799.00	c (18,0) x[294] = 0
879.66/799.00	c (18,0) x[295] = 0
879.66/799.00	c (18,0) x[296] = 0
879.66/799.00	c (18,0) x[297] = 0
879.66/799.00	c (18,0) x[298] = 0
879.66/799.00	c (18,0) x[299] = 0
879.66/799.00	c (18,0) x[300] = 0
879.66/799.00	c (18,0) x[301] = 0
879.66/799.00	c (18,0) x[302] = 0
879.66/799.00	c (18,0) x[303] = 0
879.66/799.00	c (18,0) x[304] = 0
879.66/799.00	c (18,0) x[305] = 0
879.66/799.00	c (18,0) x[306] = 0
879.66/799.00	c (18,0) x[307] = 0
879.66/799.00	c (18,0) x[308] = 0
879.66/799.00	c (18,0) x[309] = 0
879.66/799.00	c (18,0) x[310] = 0
879.66/799.00	c (18,0) x[311] = 0
879.66/799.00	c (18,0) x[312] = 0
879.66/799.00	c (18,0) x[313] = 0
879.66/799.00	c (18,0) x[314] = 0
879.66/799.00	c (18,0) x[315] = 0
879.66/799.00	c (18,0) x[316] = 0
879.66/799.00	c (18,0) x[317] = 0
879.66/799.00	c (18,0) x[318] = 0
879.66/799.00	c (18,0) x[319] = 0
879.66/799.00	c (18,0) x[320] = 0
879.66/799.00	c (18,0) x[321] = 0
879.66/799.00	c (18,0) x[322] = 0
879.66/799.00	c (18,0) x[323] = 0
879.66/799.00	c (18,0) x[324] = 0
879.66/799.00	c (18,0) x[325] = 0
879.66/799.00	c (18,0) x[326] = 0
879.66/799.00	c (18,0) x[327] = 0
879.66/799.00	c (18,0) x[328] = 0
879.66/799.00	c (18,0) x[329] = 0
879.66/799.00	c (18,0) x[330] = 0
879.66/799.00	c (18,0) x[331] = 0
879.66/799.00	c (18,0) x[332] = 0
879.66/799.00	c (18,0) x[333] = 0
879.66/799.00	c (18,0) x[334] = 0
879.66/799.00	c (18,0) x[335] = 0
879.66/799.00	c (18,0) x[336] = 0
879.66/799.00	c (18,0) x[337] = 0
879.66/799.00	c (18,0) x[338] = 0
879.66/799.00	c (18,0) x[339] = 0
879.66/799.00	c (18,0) x[340] = 0
879.66/799.00	c (18,0) x[341] = 0
879.66/799.00	c (18,0) x[342] = 0
879.66/799.00	c (18,0) x[343] = 0
879.66/799.00	c (18,0) x[344] = 0
879.66/799.00	c (18,0) x[345] = 0
879.66/799.00	c (18,0) x[346] = 0
879.66/799.00	c (18,0) x[347] = 0
879.66/799.00	c (18,0) x[348] = 0
879.66/799.00	c (18,0) x[349] = 0
879.66/799.00	c (18,0) x[350] = 0
879.66/799.00	c (18,0) x[351] = 0
879.66/799.00	c (18,0) x[352] = 0
879.66/799.00	c (18,0) x[353] = 0
879.66/799.00	c (18,0) x[354] = 0
879.66/799.00	c (18,0) x[355] = 0
879.66/799.00	c (18,0) x[356] = 0
879.66/799.00	c (18,0) x[357] = 0
879.66/799.00	c (18,0) x[358] = 0
879.66/799.00	c (18,0) x[359] = 0
879.66/799.00	c (18,0) x[360] = 0
879.66/799.00	c (18,0) x[361] = 0
879.66/799.00	c (18,0) x[362] = 0
879.66/799.00	c (18,0) x[363] = 0
879.66/799.00	c (18,0) x[364] = 0
879.66/799.00	c (18,0) x[365] = 0
879.66/799.00	c (18,0) x[366] = 0
879.66/799.00	c (18,0) x[367] = 0
879.66/799.00	c (18,0) x[368] = 0
879.66/799.00	c (18,0) x[369] = 0
879.66/799.00	c (18,0) x[370] = 0
879.66/799.00	c (18,0) x[371] = 0
879.66/799.00	c (18,0) x[372] = 0
879.66/799.00	c (18,0) x[373] = 0
879.66/799.00	c (18,0) x[374] = 0
879.66/799.00	c (18,0) x[375] = 0
879.66/799.00	c (18,0) x[376] = 0
879.66/799.00	c (18,0) x[377] = 0
879.66/799.00	c (18,0) x[378] = 0
879.66/799.00	c (18,0) x[379] = 0
879.66/799.00	c (18,0) x[380] = 0
879.66/799.00	c (18,0) x[381] = 0
879.66/799.00	c (18,0) x[382] = 0
879.66/799.00	c (18,0) x[383] = 0
879.66/799.00	c (18,0) x[384] = 0
879.66/799.00	c (18,0) x[385] = 0
879.66/799.00	c (18,0) x[386] = 0
879.66/799.00	c (18,0) x[387] = 0
879.66/799.00	c (18,0) x[388] = 0
879.66/799.00	c (18,0) x[389] = 0
879.66/799.00	c (18,0) x[390] = 0
879.66/799.00	c (18,0) x[391] = 0
879.66/799.00	c (18,0) x[392] = 0
879.66/799.00	c (18,0) x[393] = 0
879.66/799.00	c (18,0) x[394] = 0
879.66/799.00	c (18,0) x[395] = 0
879.66/799.00	c (18,0) x[396] = 0
879.66/799.00	c (18,0) x[397] = 0
879.66/799.00	c (18,0) x[398] = 0
879.66/799.00	c (18,0) x[399] = 0
879.66/799.00	c (18,0) x[400] = 0
879.66/799.00	c (18,0) x[401] = 0
879.66/799.00	c (18,0) x[402] = 0
879.66/799.00	c (18,0) x[403] = 0
879.66/799.00	c (18,0) x[404] = 0
879.66/799.00	c (18,0) x[405] = 0
879.66/799.00	c (18,0) x[406] = 0
879.66/799.00	c (18,0) x[407] = 0
879.66/799.00	c (18,0) x[408] = 0
879.66/799.00	c (18,0) x[409] = 0
879.66/799.00	c (18,0) x[410] = 0
879.66/799.00	c (18,0) x[411] = 0
879.66/799.00	c (18,0) x[412] = 0
879.66/799.00	c (18,0) x[413] = 0
879.66/799.00	c (18,0) x[414] = 0
879.66/799.00	c (18,0) x[415] = 0
879.66/799.00	c (18,0) x[416] = 0
879.66/799.00	c (18,0) x[417] = 0
879.66/799.00	c (18,0) x[418] = 0
879.66/799.00	c (18,0) x[419] = 0
879.66/799.00	c (18,0) x[420] = 0
879.66/799.00	c (18,0) x[421] = 0
879.66/799.00	c (18,0) x[422] = 0
879.66/799.00	c (18,0) x[423] = 0
879.66/799.00	c (18,0) x[424] = 0
879.66/799.00	c (18,0) x[425] = 0
879.66/799.00	c (18,0) x[426] = 0
879.66/799.00	c (18,0) x[427] = 0
879.66/799.00	c (18,0) x[428] = 0
879.66/799.00	c (18,0) x[429] = 0
879.66/799.00	c (18,0) x[430] = 0
879.66/799.00	c (18,0) x[431] = 0
879.66/799.00	c (18,0) x[432] = 0
879.66/799.00	c (18,0) x[433] = 0
879.66/799.00	c (18,0) x[434] = 0
879.66/799.00	c (18,0) x[435] = 0
879.66/799.00	c (18,0) x[436] = 0
879.66/799.00	c (18,0) x[437] = 0
879.66/799.00	c (18,0) x[438] = 0
879.66/799.00	c (18,0) x[439] = 0
879.66/799.00	c (18,0) x[440] = 0
879.66/799.00	c (18,0) x[441] = 0
879.66/799.00	c (18,0) x[442] = 0
879.66/799.00	c (18,0) x[443] = 0
879.66/799.00	c (18,0) x[444] = 0
879.66/799.00	c (18,0) x[445] = 0
879.66/799.00	c (18,0) x[446] = 0
879.66/799.00	c (18,0) x[447] = 0
879.66/799.00	c (18,0) x[448] = 0
879.66/799.00	c (18,0) x[449] = 0
879.66/799.00	c (18,0) x[450] = 0
879.66/799.00	c (18,0) x[451] = 0
879.66/799.00	c (18,0) x[452] = 0
879.66/799.00	c (18,0) x[453] = 0
879.66/799.00	c (18,0) x[454] = 0
879.66/799.00	c (18,0) x[455] = 0
879.66/799.00	c (18,0) x[456] = 0
879.66/799.00	c (18,0) x[457] = 0
879.66/799.00	c (18,0) x[458] = 0
879.66/799.00	c (18,0) x[459] = 0
879.66/799.00	c (18,0) x[460] = 0
879.66/799.00	c (18,0) x[461] = 0
879.66/799.00	c (18,0) x[462] = 0
879.66/799.00	c (18,0) x[463] = 0
879.66/799.00	c (18,0) x[464] = 0
879.66/799.00	c (18,0) x[465] = 0
879.66/799.00	c (18,0) x[466] = 0
879.66/799.00	c (18,0) x[467] = 0
879.66/799.00	c (18,0) x[468] = 0
879.66/799.00	c (18,0) x[469] = 0
879.66/799.00	c (18,0) x[470] = 0
879.66/799.00	c (18,0) x[471] = 0
879.66/799.00	c (18,0) x[472] = 0
879.66/799.00	c (18,0) x[473] = 0
879.66/799.00	c (18,0) x[474] = 0
879.66/799.00	c (18,0) x[475] = 0
879.66/799.00	c (18,0) x[476] = 0
879.66/799.00	c (18,0) x[477] = 0
879.66/799.00	c (18,0) x[478] = 0
879.66/799.00	c (18,0) x[479] = 0
879.66/799.00	c (18,0) x[480] = 0
879.66/799.00	c (18,0) x[481] = 0
879.66/799.00	c (18,0) x[482] = 0
879.66/799.00	c (18,0) x[483] = 0
879.66/799.00	c (18,0) x[484] = 0
879.66/799.00	c (18,0) x[485] = 0
879.66/799.00	c (18,0) x[486] = 0
879.66/799.00	c (18,0) x[487] = 0
879.66/799.00	c (18,0) x[488] = 0
879.66/799.00	c (18,0) x[489] = 0
879.66/799.00	c (18,0) x[490] = 0
879.66/799.00	c (18,0) x[491] = 0
879.66/799.00	c (18,0) x[492] = 0
879.66/799.00	c (18,0) x[493] = 0
879.66/799.00	c (18,0) x[494] = 0
879.66/799.00	c (18,0) x[495] = 0
879.66/799.00	c (18,0) x[496] = 0
879.66/799.00	c (18,0) x[497] = 0
879.66/799.00	c (18,0) x[498] = 0
879.66/799.00	c (18,0) x[499] = 0
879.66/799.00	c (18,0) x[500] = 0
879.66/799.00	c (18,0) x[501] = 0
879.66/799.00	c (18,0) x[502] = 0
879.66/799.00	c (18,0) x[503] = 0
879.66/799.00	c (18,0) x[504] = 0
879.66/799.00	c (18,0) x[505] = 0
879.66/799.00	c (18,0) x[506] = 0
879.66/799.00	c (18,0) x[507] = 0
879.66/799.00	c (18,0) x[508] = 0
879.66/799.00	c (18,0) x[509] = 0
879.66/799.00	c (18,0) x[510] = 0
879.66/799.00	c (18,0) x[511] = 0
879.66/799.00	c (18,0) x[512] = 0
879.66/799.00	c (18,0) x[513] = 0
879.66/799.00	c (18,0) x[514] = 0
879.66/799.00	c (18,0) x[515] = 0
879.66/799.00	c (18,0) x[516] = 0
879.66/799.00	c (18,0) x[517] = 0
879.66/799.00	c (18,0) x[518] = 0
879.66/799.00	c (18,0) x[519] = 0
879.66/799.00	c (18,0) x[520] = 0
879.94/799.01	c (18,0) x[521] = 0
879.94/799.01	c (18,0) x[522] = 0
879.94/799.01	c (18,0) x[523] = 0
879.94/799.01	c (18,0) x[524] = 0
879.94/799.01	c (18,0) x[525] = 0
879.94/799.01	c (18,0) x[526] = 0
879.94/799.01	c (18,0) x[527] = 0
879.94/799.01	c (18,0) x[528] = 0
879.94/799.01	c (18,0) x[529] = 0
879.94/799.01	c (18,0) x[530] = 0
879.94/799.01	c (18,0) x[531] = 0
879.94/799.01	c (18,0) x[532] = 0
879.94/799.01	c (18,0) x[533] = 0
879.94/799.01	c (18,0) x[534] = 0
879.94/799.01	c (18,0) x[535] = 0
879.94/799.01	c (18,0) x[536] = 0
879.94/799.01	c (18,0) x[537] = 0
879.94/799.01	c (18,0) x[538] = 0
879.94/799.01	c (18,0) x[539] = 0
879.94/799.01	c (18,0) x[540] = 0
879.94/799.01	c (18,0) x[541] = 0
879.94/799.01	c (18,0) x[542] = 0
879.94/799.01	c (18,0) x[543] = 0
879.94/799.01	c (18,0) x[544] = 0
879.94/799.01	c (18,0) x[545] = 0
879.94/799.01	c (18,0) x[546] = 0
879.94/799.01	c (18,0) x[547] = 0
879.94/799.01	c (18,0) x[548] = 0
879.94/799.01	c (18,0) x[549] = 0
879.94/799.01	c (18,0) x[550] = 0
879.94/799.01	c (18,0) x[551] = 0
879.94/799.01	c (18,0) x[552] = 0
879.94/799.01	c (18,0) x[553] = 0
879.94/799.01	c (18,0) x[554] = 0
879.94/799.01	c (18,0) x[555] = 0
879.94/799.01	c (18,0) x[556] = 0
879.94/799.01	c (18,0) x[557] = 0
879.94/799.01	c (18,0) x[558] = 0
879.94/799.01	c (18,0) x[559] = 0
879.94/799.01	c (18,0) x[560] = 0
879.94/799.01	c (18,0) x[561] = 0
879.94/799.01	c (18,0) x[562] = 0
879.94/799.01	c (18,0) x[563] = 0
879.94/799.01	c (18,0) x[564] = 0
879.94/799.01	c (18,0) x[565] = 0
879.94/799.01	c (18,0) x[566] = 0
879.94/799.01	c (18,0) x[567] = 0
879.94/799.01	c (18,0) x[568] = 0
879.94/799.01	c (18,0) x[569] = 0
879.94/799.01	c (18,0) x[570] = 0
879.94/799.01	c (18,0) x[571] = 0
879.94/799.01	c (18,0) x[572] = 0
879.94/799.01	c (18,0) x[573] = 0
879.94/799.01	c (18,0) x[574] = 0
879.94/799.01	c (18,0) x[575] = 0
879.94/799.01	c (18,0) x[576] = 0
879.94/799.01	c (18,0) x[577] = 0
879.94/799.01	c (18,0) x[578] = 0
879.94/799.01	c (18,0) x[579] = 0
879.94/799.01	c (18,0) x[580] = 0
879.94/799.01	c (18,0) x[581] = 0
879.94/799.01	c (18,0) x[582] = 0
879.94/799.01	c (18,0) x[583] = 0
879.94/799.01	c (18,0) x[584] = 0
879.94/799.01	c (18,0) x[585] = 0
879.94/799.01	c (18,0) x[586] = 0
879.94/799.01	c (18,0) x[587] = 0
879.94/799.01	c (18,0) x[588] = 0
879.94/799.01	c (18,0) x[589] = 0
879.94/799.01	c (18,0) x[590] = 0
879.94/799.01	c (18,0) x[591] = 0
879.94/799.01	c (18,0) x[592] = 0
879.94/799.01	c (18,0) x[593] = 0
879.94/799.01	c (18,0) x[594] = 0
879.94/799.01	c (18,0) x[595] = 0
879.94/799.01	c (18,0) x[596] = 0
879.94/799.01	c (18,0) x[597] = 0
879.94/799.01	c (18,0) x[598] = 0
879.94/799.01	c (18,0) x[599] = 0
879.94/799.01	c (18,0) x[600] = 0
879.94/799.01	c (18,0) x[601] = 0
879.94/799.01	c (18,0) x[602] = 0
879.94/799.01	c (18,0) x[603] = 0
879.94/799.01	c (18,0) x[604] = 0
879.94/799.01	c (18,0) x[605] = 0
879.94/799.01	c (18,0) x[606] = 0
879.94/799.01	c (18,0) x[607] = 0
879.94/799.01	c (18,0) x[608] = 0
879.94/799.01	c (18,0) x[609] = 0
879.94/799.01	c (18,0) x[610] = 0
879.94/799.01	c (18,0) x[611] = 0
879.94/799.01	c (18,0) x[612] = 0
879.94/799.01	c (18,0) x[613] = 0
879.94/799.01	c (18,0) x[614] = 0
879.94/799.01	c (18,0) x[615] = 0
879.94/799.01	c (18,0) x[616] = 0
879.94/799.01	c (18,0) x[617] = 0
879.94/799.01	c (18,0) x[618] = 0
879.94/799.01	c (18,0) x[619] = 0
879.94/799.01	c (18,0) x[620] = 0
879.94/799.01	c (18,0) x[621] = 0
879.94/799.01	c (18,0) x[622] = 0
879.94/799.01	c (18,0) x[623] = 0
879.94/799.01	c (18,0) x[624] = 0
879.94/799.01	c (18,0) x[625] = 0
879.94/799.01	c (18,0) x[626] = 0
879.94/799.01	c (18,0) x[627] = 0
879.94/799.01	c (18,0) x[628] = 0
879.94/799.01	c (18,0) x[629] = 0
879.94/799.01	c (18,0) x[630] = 0
879.94/799.01	c (18,0) x[631] = 0
879.94/799.01	c (18,0) x[632] = 0
879.94/799.01	c (18,0) x[633] = 0
879.94/799.01	c (18,0) x[634] = 0
879.94/799.01	c (18,0) x[635] = 0
879.94/799.01	c (18,0) x[636] = 0
879.94/799.01	c (18,0) x[637] = 0
879.94/799.01	c (18,0) x[638] = 0
879.94/799.01	c (18,0) x[639] = 0
879.94/799.01	c (18,0) x[640] = 0
879.94/799.01	c (18,0) x[641] = 0
879.94/799.01	c (18,0) x[642] = 0
879.94/799.01	c (18,0) x[643] = 0
879.94/799.01	c (18,0) x[644] = 0
879.94/799.01	c (18,0) x[645] = 0
879.94/799.01	c (18,0) x[646] = 0
879.94/799.01	c (18,0) x[647] = 0
879.94/799.01	c (18,0) x[648] = 0
879.94/799.01	c (18,0) x[649] = 0
879.94/799.01	c (18,0) x[650] = 0
879.94/799.01	c (18,0) x[651] = 0
879.94/799.01	c (18,0) x[652] = 0
879.94/799.01	c (18,0) x[653] = 0
879.94/799.01	c (18,0) x[654] = 0
879.94/799.01	c (18,0) x[655] = 0
879.94/799.01	c (18,0) x[656] = 0
879.94/799.01	c (18,0) x[657] = 0
879.94/799.01	c (18,0) x[658] = 0
879.94/799.01	c (18,0) x[659] = 0
879.94/799.01	c (18,0) x[660] = 0
879.94/799.01	c (18,0) x[661] = 0
879.94/799.01	c (18,0) x[662] = 0
879.94/799.01	c (18,0) x[663] = 0
879.94/799.01	c (18,0) x[664] = 0
879.94/799.01	c (18,0) x[665] = 0
879.94/799.01	c (18,0) x[666] = 0
879.94/799.01	c (18,0) x[667] = 0
879.94/799.01	c (18,0) x[668] = 0
879.94/799.01	c (18,0) x[669] = 0
879.94/799.01	c (18,0) x[670] = 0
879.94/799.01	c (18,0) x[671] = 0
879.94/799.01	c (18,0) x[672] = 0
879.94/799.01	c (18,0) x[673] = 0
879.94/799.01	c (18,0) x[674] = 0
879.94/799.01	c (18,0) x[675] = 0
879.94/799.01	c (18,0) x[676] = 0
879.94/799.01	c (18,0) x[677] = 0
879.94/799.01	c (18,0) x[678] = 0
879.94/799.01	c (18,0) x[679] = 0
879.94/799.01	c (18,0) x[680] = 0
879.94/799.01	c (18,0) x[681] = 0
879.94/799.01	c (18,0) x[682] = 0
879.94/799.01	c (18,0) x[683] = 0
879.94/799.01	c (18,0) x[684] = 0
879.94/799.01	c (18,0) x[685] = 0
879.94/799.01	c (18,0) x[686] = 0
879.94/799.01	c (18,0) x[687] = 0
879.94/799.01	c (18,0) x[688] = 0
879.94/799.01	c (18,0) x[689] = 0
879.94/799.01	c (18,0) x[690] = 0
879.94/799.01	c (18,0) x[691] = 0
879.94/799.01	c (18,0) x[692] = 0
879.94/799.01	c (18,0) x[693] = 0
879.94/799.01	c (18,0) x[694] = 0
879.94/799.01	c (18,0) x[695] = 0
879.94/799.01	c (18,0) x[696] = 0
879.94/799.01	c (18,0) x[697] = 0
879.94/799.01	c (18,0) x[698] = 0
879.94/799.01	c (18,0) x[699] = 0
879.94/799.01	c (18,0) x[700] = 0
879.94/799.01	c (18,0) x[701] = 0
879.94/799.01	c (18,0) x[702] = 0
879.94/799.01	c (18,0) x[703] = 0
879.94/799.01	c (18,0) x[704] = 0
879.94/799.01	c (18,0) x[705] = 0
879.94/799.01	c (18,0) x[706] = 0
879.94/799.02	c (18,0) x[707] = 0
879.94/799.02	c (18,0) x[708] = 0
879.94/799.02	c (18,0) x[709] = 0
879.94/799.02	c (18,0) x[710] = 0
879.94/799.02	c (18,0) x[711] = 0
879.94/799.02	c (18,0) x[712] = 0
879.94/799.02	c (18,0) x[713] = 0
879.94/799.02	c (18,0) x[714] = 0
879.94/799.02	c (18,0) x[715] = 0
879.94/799.02	c (18,0) x[716] = 0
879.94/799.02	c (18,0) x[717] = 0
879.94/799.02	c (18,0) x[718] = 0
879.94/799.02	c (18,0) x[719] = 0
879.94/799.02	c (18,0) x[720] = 0
879.94/799.02	c (18,0) x[721] = 0
879.94/799.02	c (18,0) x[722] = 0
879.94/799.02	c (18,0) x[723] = 0
879.94/799.02	c (18,0) x[724] = 0
879.94/799.02	c (18,0) x[725] = 0
879.94/799.02	c (18,0) x[726] = 0
879.94/799.02	c (18,0) x[727] = 0
879.94/799.02	c (18,0) x[728] = 0
879.94/799.02	c (18,0) x[729] = 0
879.94/799.02	c (18,0) x[730] = 0
879.94/799.02	c (18,0) x[731] = 0
879.94/799.02	c (18,0) x[732] = 0
879.94/799.02	c (18,0) x[733] = 0
879.94/799.02	c (18,0) x[734] = 0
879.94/799.02	c (18,0) x[735] = 0
879.94/799.02	c (18,0) x[736] = 0
879.94/799.02	c (18,0) x[737] = 0
879.94/799.02	c (18,0) x[738] = 0
879.94/799.02	c (18,0) x[739] = 0
879.94/799.02	c (18,0) x[740] = 0
879.94/799.02	c (18,0) x[741] = 0
879.94/799.02	c (18,0) x[742] = 0
879.94/799.02	c (18,0) x[743] = 0
879.94/799.02	c (18,0) x[744] = 0
879.94/799.02	c (18,0) x[745] = 0
879.94/799.02	c (18,0) x[746] = 0
879.94/799.02	c (18,0) x[747] = 0
879.94/799.02	c (18,0) x[748] = 0
879.94/799.02	c (18,0) x[749] = 0
879.94/799.02	c (18,0) x[750] = 0
879.94/799.02	c (18,0) x[751] = 0
879.94/799.02	c (18,0) x[752] = 0
879.94/799.02	c (18,0) x[753] = 0
879.94/799.02	c (18,0) x[754] = 0
879.94/799.02	c (18,0) x[755] = 0
879.94/799.02	c (18,0) x[756] = 0
879.94/799.02	c (18,0) x[757] = 0
879.94/799.02	c (18,0) x[758] = 0
879.94/799.02	c (18,0) x[759] = 0
879.94/799.02	c (18,0) x[760] = 0
879.94/799.02	c (18,0) x[761] = 0
879.94/799.02	c (18,0) x[762] = 0
879.94/799.02	c (18,0) x[763] = 0
879.94/799.02	c (18,0) x[764] = 0
879.94/799.02	c (18,0) x[765] = 0
879.94/799.02	c (18,0) x[766] = 0
879.94/799.02	c (18,0) x[767] = 0
879.94/799.02	c (18,0) x[768] = 0
879.94/799.02	c (18,0) x[769] = 0
879.94/799.02	c (18,0) x[770] = 0
879.94/799.02	c (18,0) x[771] = 0
879.94/799.02	c (18,0) x[772] = 0
879.94/799.02	c (18,0) x[773] = 0
879.94/799.02	c (18,0) x[774] = 0
879.94/799.02	c (18,0) x[775] = 0
879.94/799.02	c (18,0) x[776] = 0
879.94/799.02	c (18,0) x[777] = 0
879.94/799.02	c (18,0) x[778] = 0
879.94/799.02	c (18,0) x[779] = 0
879.94/799.02	c (18,0) x[780] = 0
879.94/799.02	c (18,0) x[781] = 0
879.94/799.02	c (18,0) x[782] = 0
879.94/799.02	c (18,0) x[783] = 0
879.94/799.02	c (18,0) x[784] = 0
879.94/799.02	c (18,0) x[785] = 0
879.94/799.02	c (18,0) x[786] = 0
879.94/799.02	c (18,0) x[787] = 0
879.94/799.02	c (18,0) x[788] = 0
879.94/799.02	c (18,0) x[789] = 0
879.94/799.02	c (18,0) x[790] = 0
879.94/799.02	c (18,0) x[791] = 0
879.94/799.02	c (18,0) x[792] = 0
879.94/799.02	c (18,0) x[793] = 0
879.94/799.02	c (18,0) x[794] = 0
879.94/799.02	c (18,0) x[795] = 0
879.94/799.02	c (18,0) x[796] = 1
879.94/799.02	c (18,0) x[797] = 0
879.94/799.02	c (18,0) x[798] = 0
879.94/799.02	c (18,0) x[799] = 0
879.94/799.02	s SATISFIABLE
879.94/799.02	v <instantiation>
879.94/799.02	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799]</list>
879.94/799.02	v     <values>796 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0</values>
879.94/799.02	v </instantiation>
879.94/799.02	c (18,0) Show results End
879.94/799.02	c (18,0) Heap : 310 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
879.94/799.02	c (18,0) 18,18,STOP-AFTER(ALL)
879.94/799.02	c END-Prog: Thu Sep 12 14:01:44 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 (13579 MiB free)
  memory of node 1: 16384 MiB (15679 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387699-1568288946/watcher-4387699-1568288946 -o /tmp/evaluation-result-4387699-1568288946/solver-4387699-1568288946 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568286001-1043 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387699-1568288946.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=2014, runsolver pid=2011
Current StackSize limit: 8192 KiB


[startup+0.100139 s]*
/proc/loadavg: 2.09 2.16 2.10 4/234 2031
/proc/meminfo: memFree=29903640/32770624 swapFree=66999544/67108860
[pid=2014] ppid=2011 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/2014/stat : 2014 (scop.sh) S 2011 2014 31842 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404808584 115843072 349 33554432000 4194304 5098028 140729666354768 140729666352024 140337156584060 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26480640 140729666360163 140729666360432 140729666360432 140729666363341 0
/proc/2014/statm: 28282 349 296 221 0 87 0
[pid=2017] ppid=2014 vsize=15012696 memory=70576 CPUtime=0.11 cores=1,3,5,7
/proc/2017/stat : 2017 (java) S 2014 2014 31842 0 -1 1077944320 6880 0 0 0 10 1 0 0 20 0 15 0 404808585 15373000704 17644 33554432000 4194304 4196468 140733273713936 140733273696480 140579297177335 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
/proc/2017/statm: 3753174 17644 2919 1 0 3715579 0
[pid=2017/tid=2018] ppid=2014 vsize=15012696 memory=-7812800577974661515 CPUtime=0.09 cores=1,3,5,7
/proc/2017/task/2018/stat : 2018 (java) R 2014 2014 31842 0 -1 4202560 4798 0 0 0 8 1 0 0 20 0 15 0 404808585 15373000704 17710 33554432000 4194304 4196468 140733273713936 140579268971144 140579289414462 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2019] ppid=2014 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2019/stat : 2019 (java) S 2014 2014 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404808587 15373000704 17710 33554432000 4194304 4196468 140733273713936 140579301420048 140579297187541 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2020] ppid=2014 vsize=15012696 memory=140434857870976 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2020/stat : 2020 (java) S 2014 2014 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404808587 15373000704 17710 33554432000 4194304 4196468 140733273713936 140579115576464 140579297187541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2021] ppid=2014 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2021/stat : 2021 (java) S 2014 2014 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404808587 15373000704 17710 33554432000 4194304 4196468 140733273713936 140579114523408 140579297187541 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2022] ppid=2014 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2022/stat : 2022 (java) S 2014 2014 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404808587 15373000704 17710 33554432000 4194304 4196468 140733273713936 140579113470864 140579297187541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2023] ppid=2014 vsize=15012696 memory=140434857870976 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2023/stat : 2023 (java) S 2014 2014 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404808588 15373000704 17710 33554432000 4194304 4196468 140733273713936 140578334767344 140579297188482 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2024] ppid=2014 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2024/stat : 2024 (java) S 2014 2014 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404808588 15373000704 17710 33554432000 4194304 4196468 140733273713936 140577836360864 140579297187541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2025] ppid=2014 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2025/stat : 2025 (java) S 2014 2014 31842 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404808589 15373000704 17710 33554432000 4194304 4196468 140733273713936 140577702138608 140579297187541 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2026] ppid=2014 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2026/stat : 2026 (java) S 2014 2014 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404808591 15373000704 17710 33554432000 4194304 4196468 140733273713936 140577327634384 140579297195931 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2027] ppid=2014 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2027/stat : 2027 (java) S 2014 2014 31842 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 404808591 15373000704 17776 33554432000 4194304 4196468 140733273713936 140578333715184 140579297188482 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2028] ppid=2014 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2028/stat : 2028 (java) S 2014 2014 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404808591 15373000704 17776 33554432000 4194304 4196468 140733273713936 140578332662640 140579297188482 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2029] ppid=2014 vsize=15012696 memory=140434857870976 CPUtime=0.01 cores=1,3,5,7
/proc/2017/task/2029/stat : 2029 (java) S 2014 2014 31842 0 -1 1077944384 445 0 0 0 1 0 0 0 20 0 15 0 404808591 15373000704 17776 33554432000 4194304 4196468 140733273713936 140578331609584 140579297188482 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2030] ppid=2014 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2030/stat : 2030 (java) S 2014 2014 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404808591 15373000704 17776 33554432000 4194304 4196468 140733273713936 140576829729632 140579297187541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2031] ppid=2014 vsize=15012696 memory=140434857870976 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2031/stat : 2031 (java) S 2014 2014 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404808592 15373000704 17776 33554432000 4194304 4196468 140733273713936 140578330556976 140579297188482 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 71972 KiB

[startup+0.211001 s]*
/proc/loadavg: 2.09 2.16 2.10 3/234 2031
/proc/meminfo: memFree=29884872/32770624 swapFree=66999544/67108860
[pid=2014] ppid=2011 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/2014/stat : 2014 (scop.sh) S 2011 2014 31842 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404808584 115843072 349 33554432000 4194304 5098028 140729666354768 140729666352024 140337156584060 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26480640 140729666360163 140729666360432 140729666360432 140729666363341 0
/proc/2014/statm: 28282 349 296 221 0 87 0
[pid=2017] ppid=2014 vsize=15012696 memory=85920 CPUtime=0.25 cores=1,3,5,7
/proc/2017/stat : 2017 (java) S 2014 2014 31842 0 -1 1077944320 12100 0 0 0 22 3 0 0 20 0 15 0 404808585 15373000704 21480 33554432000 4194304 4196468 140733273713936 140733273696480 140579297177335 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
/proc/2017/statm: 3753174 21480 2925 1 0 3715579 0
[pid=2017/tid=2018] ppid=2014 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/2017/task/2018/stat : 2018 (java) R 2014 2014 31842 0 -1 4202560 9858 0 0 0 17 3 0 0 20 0 15 0 404808585 15373000704 21546 33554432000 4194304 4196468 140733273713936 140579268992576 140579281257822 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2019] ppid=2014 vsize=15012696 memory=539 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2019/stat : 2019 (java) S 2014 2014 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404808587 15373000704 21546 33554432000 4194304 4196468 140733273713936 140579301420048 140579297187541 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2020] ppid=2014 vsize=15012696 memory=140434857897070 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2020/stat : 2020 (java) S 2014 2014 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404808587 15373000704 21546 33554432000 4194304 4196468 140733273713936 140579115576464 140579297187541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2021] ppid=2014 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2021/stat : 2021 (java) S 2014 2014 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404808587 15373000704 21546 33554432000 4194304 4196468 140733273713936 140579114523408 140579297187541 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2022] ppid=2014 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2022/stat : 2022 (java) S 2014 2014 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404808587 15373000704 21546 33554432000 4194304 4196468 140733273713936 140579113470864 140579297187541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2023] ppid=2014 vsize=15012696 memory=140434857870976 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2023/stat : 2023 (java) S 2014 2014 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404808588 15373000704 21546 33554432000 4194304 4196468 140733273713936 140578334767344 140579297188482 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2024] ppid=2014 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2024/stat : 2024 (java) S 2014 2014 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404808588 15373000704 21546 33554432000 4194304 4196468 140733273713936 140577836360864 140579297187541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2025] ppid=2014 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2025/stat : 2025 (java) S 2014 2014 31842 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404808589 15373000704 21546 33554432000 4194304 4196468 140733273713936 140577702138608 140579297187541 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2026] ppid=2014 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2026/stat : 2026 (java) S 2014 2014 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404808591 15373000704 21546 33554432000 4194304 4196468 140733273713936 140577327634384 140579297195931 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2027] ppid=2014 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2027/stat : 2027 (java) S 2014 2014 31842 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 404808591 15373000704 21546 33554432000 4194304 4196468 140733273713936 140578333715184 140579297188482 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2028] ppid=2014 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2028/stat : 2028 (java) S 2014 2014 31842 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 404808591 15373000704 21546 33554432000 4194304 4196468 140733273713936 140578332662640 140579297188482 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2029] ppid=2014 vsize=15012696 memory=140434857870976 CPUtime=0.03 cores=1,3,5,7
/proc/2017/task/2029/stat : 2029 (java) R 2014 2014 31842 0 -1 4202560 456 0 0 0 3 0 0 0 20 0 15 0 404808591 15373000704 21546 33554432000 4194304 4196468 140733273713936 140578331609584 140579297198682 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2030] ppid=2014 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2030/stat : 2030 (java) S 2014 2014 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404808591 15373000704 21546 33554432000 4194304 4196468 140733273713936 140576829729632 140579297187541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2031] ppid=2014 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2031/stat : 2031 (java) S 2014 2014 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404808592 15373000704 21546 33554432000 4194304 4196468 140733273713936 140578330556976 140579297188482 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87316 KiB

[startup+0.310835 s]*
/proc/loadavg: 2.09 2.16 2.10 4/234 2031
/proc/meminfo: memFree=29881584/32770624 swapFree=66999544/67108860
[pid=2014] ppid=2011 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/2014/stat : 2014 (scop.sh) S 2011 2014 31842 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404808584 115843072 349 33554432000 4194304 5098028 140729666354768 140729666352024 140337156584060 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26480640 140729666360163 140729666360432 140729666360432 140729666363341 0
/proc/2014/statm: 28282 349 296 221 0 87 0
[pid=2017] ppid=2014 vsize=15012696 memory=89888 CPUtime=0.43 cores=1,3,5,7
/proc/2017/stat : 2017 (java) S 2014 2014 31842 0 -1 1077944320 13072 0 0 0 39 4 0 0 20 0 15 0 404808585 15373000704 22472 33554432000 4194304 4196468 140733273713936 140733273696480 140579297177335 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
/proc/2017/statm: 3753174 22472 3034 1 0 3715579 0
[pid=2017/tid=2018] ppid=2014 vsize=15012696 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/2017/task/2018/stat : 2018 (java) R 2014 2014 31842 0 -1 4202560 10602 0 0 0 26 3 0 0 20 0 15 0 404808585 15373000704 22472 33554432000 4194304 4196468 140733273713936 140579268960352 140579277453469 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2019] ppid=2014 vsize=15012696 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2019/stat : 2019 (java) S 2014 2014 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404808587 15373000704 22472 33554432000 4194304 4196468 140733273713936 140579301420048 140579297187541 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2020] ppid=2014 vsize=15012696 memory=928 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2020/stat : 2020 (java) S 2014 2014 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404808587 15373000704 22472 33554432000 4194304 4196468 140733273713936 140579115576464 140579297187541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2021] ppid=2014 vsize=15012696 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2021/stat : 2021 (java) S 2014 2014 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404808587 15373000704 22472 33554432000 4194304 4196468 140733273713936 140579114523408 140579297187541 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2022] ppid=2014 vsize=15012696 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2022/stat : 2022 (java) S 2014 2014 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404808587 15373000704 22472 33554432000 4194304 4196468 140733273713936 140579113470864 140579297187541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2023] ppid=2014 vsize=15012696 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2023/stat : 2023 (java) S 2014 2014 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404808588 15373000704 22472 33554432000 4194304 4196468 140733273713936 140578334767344 140579297188482 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2024] ppid=2014 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2024/stat : 2024 (java) S 2014 2014 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404808588 15373000704 22472 33554432000 4194304 4196468 140733273713936 140577836360864 140579297187541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2025] ppid=2014 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2025/stat : 2025 (java) S 2014 2014 31842 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404808589 15373000704 22472 33554432000 4194304 4196468 140733273713936 140577702138608 140579297187541 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2026] ppid=2014 vsize=15012696 memory=35809 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2026/stat : 2026 (java) S 2014 2014 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404808591 15373000704 22472 33554432000 4194304 4196468 140733273713936 140577327634384 140579297195931 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2027] ppid=2014 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/2017/task/2027/stat : 2027 (java) S 2014 2014 31842 0 -1 1077944384 522 0 0 0 3 0 0 0 20 0 15 0 404808591 15373000704 22472 33554432000 4194304 4196468 140733273713936 140578333715184 140579297188482 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2028] ppid=2014 vsize=15012696 memory=170985786 CPUtime=0.01 cores=1,3,5,7
/proc/2017/task/2028/stat : 2028 (java) S 2014 2014 31842 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 15 0 404808591 15373000704 22472 33554432000 4194304 4196468 140733273713936 140578332662640 140579297188482 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2029] ppid=2014 vsize=15012696 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/2017/task/2029/stat : 2029 (java) S 2014 2014 31842 0 -1 1077944384 496 0 0 0 7 0 0 0 20 0 15 0 404808591 15373000704 22472 33554432000 4194304 4196468 140733273713936 140578331609584 140579297188482 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2030] ppid=2014 vsize=15012696 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2030/stat : 2030 (java) S 2014 2014 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404808591 15373000704 22472 33554432000 4194304 4196468 140733273713936 140576829729632 140579297187541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2031] ppid=2014 vsize=15012696 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2031/stat : 2031 (java) S 2014 2014 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404808592 15373000704 22472 33554432000 4194304 4196468 140733273713936 140578330556976 140579297188482 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91284 KiB

[startup+0.700838 s]
/proc/loadavg: 2.09 2.16 2.10 3/234 2031
/proc/meminfo: memFree=29860376/32770624 swapFree=66999544/67108860
[pid=2014] ppid=2011 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/2014/stat : 2014 (scop.sh) S 2011 2014 31842 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404808584 115843072 349 33554432000 4194304 5098028 140729666354768 140729666352024 140337156584060 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26480640 140729666360163 140729666360432 140729666360432 140729666363341 0
/proc/2014/statm: 28282 349 296 221 0 87 0
[pid=2017] ppid=2014 vsize=15021092 memory=127952 CPUtime=1.02 cores=1,3,5,7
/proc/2017/stat : 2017 (java) S 2014 2014 31842 0 -1 1077944320 20426 0 0 0 95 7 0 0 20 0 15 0 404808585 15381598208 31988 33554432000 4194304 4196468 140733273713936 140733273696480 140579297177335 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
/proc/2017/statm: 3755273 31988 3211 1 0 3716603 0
[pid=2017/tid=2018] ppid=2014 vsize=15021092 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/2017/task/2018/stat : 2018 (java) R 2014 2014 31842 0 -1 4202560 17516 0 0 0 62 5 0 0 20 0 15 0 404808585 15381598208 31988 33554432000 4194304 4196468 140733273713936 140579269014400 140579297199261 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2019] ppid=2014 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2019/stat : 2019 (java) S 2014 2014 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404808587 15381598208 31988 33554432000 4194304 4196468 140733273713936 140579301420048 140579297187541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2020] ppid=2014 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2020/stat : 2020 (java) S 2014 2014 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404808587 15381598208 31988 33554432000 4194304 4196468 140733273713936 140579115576464 140579297187541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2021] ppid=2014 vsize=15021092 memory=1294 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2021/stat : 2021 (java) S 2014 2014 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404808587 15381598208 31988 33554432000 4194304 4196468 140733273713936 140579114523408 140579297187541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2022] ppid=2014 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2022/stat : 2022 (java) S 2014 2014 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404808587 15381598208 31988 33554432000 4194304 4196468 140733273713936 140579113470864 140579297187541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2023] ppid=2014 vsize=15021092 memory=13 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2023/stat : 2023 (java) S 2014 2014 31842 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404808588 15381598208 31988 33554432000 4194304 4196468 140733273713936 140578334767344 140579297188482 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2024] ppid=2014 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2024/stat : 2024 (java) S 2014 2014 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404808588 15381598208 31988 33554432000 4194304 4196468 140733273713936 140577836360864 140579297187541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2025] ppid=2014 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2025/stat : 2025 (java) S 2014 2014 31842 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404808589 15381598208 31988 33554432000 4194304 4196468 140733273713936 140577702138608 140579297187541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2026] ppid=2014 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2026/stat : 2026 (java) S 2014 2014 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404808591 15381598208 31988 33554432000 4194304 4196468 140733273713936 140577327634384 140579297195931 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2027] ppid=2014 vsize=15021092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2017/task/2027/stat : 2027 (java) S 2014 2014 31842 0 -1 1077944384 587 0 0 0 7 0 0 0 20 0 15 0 404808591 15381598208 31988 33554432000 4194304 4196468 140733273713936 140578333715184 140579297188482 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2028] ppid=2014 vsize=15021092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2017/task/2028/stat : 2028 (java) S 2014 2014 31842 0 -1 1077944384 354 0 0 0 9 0 0 0 20 0 15 0 404808591 15381598208 31988 33554432000 4194304 4196468 140733273713936 140578332662640 140579297188482 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2029] ppid=2014 vsize=15021092 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/2017/task/2029/stat : 2029 (java) R 2014 2014 31842 0 -1 4202560 616 0 0 0 15 0 0 0 20 0 15 0 404808591 15381598208 31988 33554432000 4194304 4196468 140733273713936 140578331609584 140579289398194 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2030] ppid=2014 vsize=15021092 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2030/stat : 2030 (java) S 2014 2014 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404808591 15381598208 31988 33554432000 4194304 4196468 140733273713936 140576829729632 140579297187541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
[pid=2017/tid=2031] ppid=2014 vsize=15021092 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/2017/task/2031/stat : 2031 (java) S 2014 2014 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404808592 15381598208 31988 33554432000 4194304 4196468 140733273713936 140578330556976 140579297188482 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20762624 140733273719594 140733273719962 140733273719962 140733273722831 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 129348 KiB

[startup+1.50086 s]
/proc/loadavg: 2.09 2.16 2.10 5/234 2031
/proc/meminfo: memFree=29828284/32770624 swapFree=66999544/67108860
[pid=2014] ppid=2011 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/2014/stat : 2014 (scop.sh) S 2011 2014 31842 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404808584 115843072 349 33554432000 4194304 5098028 140729666354768 140729666352024 140337156584060 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26480640 140729666360163 140729666360432 140729666360432 140729666363341 0
/proc/2014/statm: 28282 349 296 221 0 87 0

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

[pid=2137/tid=2149] ppid=2014 vsize=8068440 memory=125592 CPUtime=0.35 cores=1,3,5,7
/proc/2137/task/2149/stat : 2149 (java) S 2014 2014 31842 0 -1 1077944384 1670 0 0 0 35 0 0 0 20 0 19 0 404886614 8262082560 284278 33554432000 4194304 4196468 140735479969600 140549793552880 140550350252674 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2150] ppid=2014 vsize=8068440 memory=1976240 CPUtime=0 cores=1,3,5,7
/proc/2137/task/2150/stat : 2150 (java) S 2014 2014 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404886614 8262082560 284278 33554432000 4194304 4196468 140735479969600 140548174244704 140550350251733 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2151] ppid=2014 vsize=8068440 memory=6935054825532540783 CPUtime=0 cores=1,3,5,7
/proc/2137/task/2151/stat : 2151 (java) S 2014 2014 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404886614 8262082560 284278 33554432000 4194304 4196468 140735479969600 140549792500272 140550350252674 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 75 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2154] ppid=2014 vsize=8068440 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/2137/task/2154/stat : 2154 (java) S 2014 2014 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404886694 8262082560 284278 33554432000 4194304 4196468 140735479969600 140549786658112 140550350266137 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2156] ppid=2014 vsize=8068440 memory=580 CPUtime=1.46 cores=1,3,5,7
/proc/2137/task/2156/stat : 2156 (java) R 2014 2014 31842 0 -1 4202560 607 0 0 0 131 15 0 0 20 0 19 0 404886694 8262082560 284278 33554432000 4194304 4196468 140735479969600 140547637366464 140549857722432 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2157] ppid=2014 vsize=8068440 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/2137/task/2157/stat : 2157 (java) S 2014 2014 31842 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 404886694 8262082560 284278 33554432000 4194304 4196468 140735479969600 140547771580432 140550350263453 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2158] ppid=2014 vsize=8068440 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/2137/task/2158/stat : 2158 (java) S 2014 2014 31842 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 404886697 8262082560 284278 33554432000 4194304 4196468 140735479969600 140547368935216 140550350251733 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
Current children cumulated CPU time: 876.39 s
Current children cumulated vsize: 10376456 KiB
Current children cumulated memory: 3144964 KiB

[startup+798.401 s]
/proc/loadavg: 2.31 2.08 2.07 3/240 2158
/proc/meminfo: memFree=25276548/32770624 swapFree=66999556/67108860
[pid=2014] ppid=2011 vsize=113128 memory=1476 CPUtime=857.31 cores=1,3,5,7
/proc/2014/stat : 2014 (scop.sh) S 2011 2014 31842 0 -1 4202496 582 180295 0 0 0 0 84756 975 20 0 1 0 404808584 115843072 369 33554432000 4194304 5098028 140729666354768 140729666351512 140337156584060 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26480640 140729666360163 140729666360432 140729666360432 140729666363341 0
/proc/2014/statm: 28282 369 311 221 0 87 0
[pid=2137] ppid=2014 vsize=8068440 memory=1292976 CPUtime=5.99 cores=1,3,5,7
/proc/2137/stat : 2137 (java) S 2014 2014 31842 0 -1 1077944320 28637 0 0 0 552 47 0 0 20 0 19 0 404886607 8262082560 323244 33554432000 4194304 4196468 140735479969600 140735479952144 140550350241527 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
/proc/2137/statm: 2017110 323244 3249 1 0 1978454 0
[pid=2153] ppid=2137 vsize=1524984 memory=1389652 CPUtime=15.73 cores=1,3,5,7
/proc/2153/stat : 2153 (cryptominisat5) R 2137 2014 31842 0 -1 4202496 657406 0 0 0 1469 104 0 0 20 0 1 0 404886694 1561583616 347413 33554432000 4194304 4451008 140725627932960 140725627930248 139981157172108 0 4 0 2 0 0 0 17 5 0 0 0 0 0 6549032 6559120 24260608 140725627941821 140725627941952 140725627941952 140725627944902 0
/proc/2153/statm: 381246 347413 688 63 0 374973 0
[pid=2137/tid=2138] ppid=2014 vsize=8068440 memory=3616 CPUtime=0.89 cores=1,3,5,7
/proc/2137/task/2138/stat : 2138 (java) S 2014 2014 31842 0 -1 1077944384 17981 0 0 0 82 7 0 0 20 0 19 0 404886608 8262082560 323244 33554432000 4194304 4196468 140735479969600 140550322081696 140550350251733 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2139] ppid=2014 vsize=8068440 memory=32604 CPUtime=0.16 cores=1,3,5,7
/proc/2137/task/2139/stat : 2139 (java) S 2014 2014 31842 0 -1 1077944384 99 0 0 0 11 5 0 0 20 0 19 0 404886609 8262082560 323244 33554432000 4194304 4196468 140735479969600 140550354484240 140550350251733 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2140] ppid=2014 vsize=8068440 memory=988 CPUtime=0.16 cores=1,3,5,7
/proc/2137/task/2140/stat : 2140 (java) S 2014 2014 31842 0 -1 1077944384 98 0 0 0 12 4 0 0 20 0 19 0 404886609 8262082560 323244 33554432000 4194304 4196468 140735479969600 140549835533456 140550350251733 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2141] ppid=2014 vsize=8068440 memory=-3622645143214314312 CPUtime=0.16 cores=1,3,5,7
/proc/2137/task/2141/stat : 2141 (java) S 2014 2014 31842 0 -1 1077944384 187 0 0 0 12 4 0 0 20 0 19 0 404886609 8262082560 323244 33554432000 4194304 4196468 140735479969600 140549834480400 140550350251733 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2142] ppid=2014 vsize=8068440 memory=1200608 CPUtime=0.16 cores=1,3,5,7
/proc/2137/task/2142/stat : 2142 (java) S 2014 2014 31842 0 -1 1077944384 229 0 0 0 12 4 0 0 20 0 19 0 404886609 8262082560 323244 33554432000 4194304 4196468 140735479969600 140549833427856 140550350251733 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2143] ppid=2014 vsize=8068440 memory=2006376 CPUtime=0 cores=1,3,5,7
/proc/2137/task/2143/stat : 2143 (java) S 2014 2014 31842 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 404886610 8262082560 323244 33554432000 4194304 4196468 140735479969600 140549796710640 140550350252674 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2144] ppid=2014 vsize=8068440 memory=912 CPUtime=0 cores=1,3,5,7
/proc/2137/task/2144/stat : 2144 (java) S 2014 2014 31842 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 404886611 8262082560 323244 33554432000 4194304 4196468 140735479969600 140549180876000 140550350251733 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2145] ppid=2014 vsize=8068440 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/2137/task/2145/stat : 2145 (java) S 2014 2014 31842 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 404886611 8262082560 323244 33554432000 4194304 4196468 140735479969600 140549046653696 140550350251733 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2146] ppid=2014 vsize=8068440 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/2137/task/2146/stat : 2146 (java) S 2014 2014 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404886614 8262082560 323244 33554432000 4194304 4196468 140735479969600 140548672149456 140550350260123 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2147] ppid=2014 vsize=8068440 memory=838104 CPUtime=0.66 cores=1,3,5,7
/proc/2137/task/2147/stat : 2147 (java) S 2014 2014 31842 0 -1 1077944384 3417 0 0 0 66 0 0 0 20 0 19 0 404886614 8262082560 323244 33554432000 4194304 4196468 140735479969600 140549795658480 140550350252674 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2148] ppid=2014 vsize=8068440 memory=2006376 CPUtime=0.65 cores=1,3,5,7
/proc/2137/task/2148/stat : 2148 (java) S 2014 2014 31842 0 -1 1077944384 2794 0 0 0 65 0 0 0 20 0 19 0 404886614 8262082560 323244 33554432000 4194304 4196468 140735479969600 140549794605936 140550350252674 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2149] ppid=2014 vsize=8068440 memory=1476 CPUtime=0.35 cores=1,3,5,7
/proc/2137/task/2149/stat : 2149 (java) S 2014 2014 31842 0 -1 1077944384 1670 0 0 0 35 0 0 0 20 0 19 0 404886614 8262082560 323244 33554432000 4194304 4196468 140735479969600 140549793552880 140550350252674 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2150] ppid=2014 vsize=8068440 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/2137/task/2150/stat : 2150 (java) S 2014 2014 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404886614 8262082560 323244 33554432000 4194304 4196468 140735479969600 140548174244704 140550350251733 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2151] ppid=2014 vsize=8068440 memory=32604 CPUtime=0 cores=1,3,5,7
/proc/2137/task/2151/stat : 2151 (java) S 2014 2014 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404886614 8262082560 323244 33554432000 4194304 4196468 140735479969600 140549792500272 140550350252674 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 75 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2154] ppid=2014 vsize=8068440 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/2137/task/2154/stat : 2154 (java) S 2014 2014 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404886694 8262082560 323244 33554432000 4194304 4196468 140735479969600 140549786658112 140550350266137 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2156] ppid=2014 vsize=8068440 memory=5904 CPUtime=2.69 cores=1,3,5,7
/proc/2137/task/2156/stat : 2156 (java) S 2014 2014 31842 0 -1 4202560 740 0 0 0 252 17 0 0 20 0 19 0 404886694 8262082560 323244 33554432000 4194304 4196468 140735479969600 140547637358496 140550350263453 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2157] ppid=2014 vsize=8068440 memory=772 CPUtime=0 cores=1,3,5,7
/proc/2137/task/2157/stat : 2157 (java) S 2014 2014 31842 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 404886694 8262082560 323244 33554432000 4194304 4196468 140735479969600 140547771580432 140550350263453 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2158] ppid=2014 vsize=8068440 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/2137/task/2158/stat : 2158 (java) S 2014 2014 31842 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 404886697 8262082560 323244 33554432000 4194304 4196468 140735479969600 140547368935216 140550350251733 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
Current children cumulated CPU time: 879.03 s
Current children cumulated vsize: 9706552 KiB
Current children cumulated memory: 2684104 KiB

[startup+798.801 s]
/proc/loadavg: 2.31 2.08 2.07 3/240 2158
/proc/meminfo: memFree=25276548/32770624 swapFree=66999556/67108860
[pid=2014] ppid=2011 vsize=113128 memory=1476 CPUtime=857.31 cores=1,3,5,7
/proc/2014/stat : 2014 (scop.sh) S 2011 2014 31842 0 -1 4202496 582 180295 0 0 0 0 84756 975 20 0 1 0 404808584 115843072 369 33554432000 4194304 5098028 140729666354768 140729666351512 140337156584060 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26480640 140729666360163 140729666360432 140729666360432 140729666363341 0
/proc/2014/statm: 28282 369 311 221 0 87 0
[pid=2137] ppid=2014 vsize=7937364 memory=1290960 CPUtime=22.13 cores=1,3,5,7
/proc/2137/stat : 2137 (java) S 2014 2014 31842 0 -1 1077944320 28656 717414 0 0 554 47 1499 113 20 0 17 0 404886607 8127860736 322740 33554432000 4194304 4196468 140735479969600 140735479952144 140550350241527 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
/proc/2137/statm: 1984341 322740 3249 1 0 1945685 0
[pid=2137/tid=2138] ppid=2014 vsize=7937364 memory=-3622645143214314312 CPUtime=17.02 cores=1,3,5,7
/proc/2137/task/2138/stat : 2138 (java) R 2014 2014 31842 0 -1 4202560 17981 717414 0 0 83 7 1499 113 20 0 17 0 404886608 8127860736 322740 33554432000 4194304 4196468 140735479969600 140550322081696 140550350253462 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2139] ppid=2014 vsize=7937364 memory=142380 CPUtime=16.28 cores=1,3,5,7
/proc/2137/task/2139/stat : 2139 (java) S 2014 2014 31842 0 -1 1077944384 99 717414 0 0 11 5 1499 113 20 0 17 0 404886609 8127860736 322740 33554432000 4194304 4196468 140735479969600 140550354484240 140550350251733 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2140] ppid=2014 vsize=7937364 memory=2518236 CPUtime=16.28 cores=1,3,5,7
/proc/2137/task/2140/stat : 2140 (java) S 2014 2014 31842 0 -1 1077944384 98 717414 0 0 12 4 1499 113 20 0 17 0 404886609 8127860736 322740 33554432000 4194304 4196468 140735479969600 140549835533456 140550350251733 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2141] ppid=2014 vsize=7937364 memory=1412 CPUtime=16.28 cores=1,3,5,7
/proc/2137/task/2141/stat : 2141 (java) S 2014 2014 31842 0 -1 1077944384 187 717414 0 0 12 4 1499 113 20 0 17 0 404886609 8127860736 322740 33554432000 4194304 4196468 140735479969600 140549834480400 140550350251733 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2142] ppid=2014 vsize=7937364 memory=3340 CPUtime=16.28 cores=1,3,5,7
/proc/2137/task/2142/stat : 2142 (java) S 2014 2014 31842 0 -1 1077944384 229 717414 0 0 12 4 1499 113 20 0 17 0 404886609 8127860736 322740 33554432000 4194304 4196468 140735479969600 140549833427856 140550350251733 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2143] ppid=2014 vsize=7937364 memory=1476 CPUtime=16.12 cores=1,3,5,7
/proc/2137/task/2143/stat : 2143 (java) S 2014 2014 31842 0 -1 1077944384 24 717414 0 0 0 0 1499 113 20 0 17 0 404886610 8127860736 322740 33554432000 4194304 4196468 140735479969600 140549796710640 140550350252674 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2144] ppid=2014 vsize=7937364 memory=1980 CPUtime=16.12 cores=1,3,5,7
/proc/2137/task/2144/stat : 2144 (java) S 2014 2014 31842 0 -1 1077944384 14 717414 0 0 0 0 1499 113 20 0 17 0 404886611 8127860736 322740 33554432000 4194304 4196468 140735479969600 140549180876000 140550350251733 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2145] ppid=2014 vsize=7937364 memory=1332 CPUtime=16.12 cores=1,3,5,7
/proc/2137/task/2145/stat : 2145 (java) S 2014 2014 31842 0 -1 1077944384 25 717414 0 0 0 0 1499 113 20 0 17 0 404886611 8127860736 322740 33554432000 4194304 4196468 140735479969600 140549046653696 140550350251733 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2146] ppid=2014 vsize=7937364 memory=2648 CPUtime=16.12 cores=1,3,5,7
/proc/2137/task/2146/stat : 2146 (java) S 2014 2014 31842 0 -1 1077944384 3 717414 0 0 0 0 1499 113 20 0 17 0 404886614 8127860736 322740 33554432000 4194304 4196468 140735479969600 140548672149456 140550350260123 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2147] ppid=2014 vsize=7937364 memory=514488 CPUtime=16.78 cores=1,3,5,7
/proc/2137/task/2147/stat : 2147 (java) S 2014 2014 31842 0 -1 1077944384 3417 717414 0 0 66 0 1499 113 20 0 17 0 404886614 8127860736 322740 33554432000 4194304 4196468 140735479969600 140549795658480 140550350252674 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2148] ppid=2014 vsize=7937364 memory=2006376 CPUtime=16.77 cores=1,3,5,7
/proc/2137/task/2148/stat : 2148 (java) S 2014 2014 31842 0 -1 1077944384 2794 717414 0 0 65 0 1499 113 20 0 17 0 404886614 8127860736 322740 33554432000 4194304 4196468 140735479969600 140549794605936 140550350252674 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2149] ppid=2014 vsize=7937364 memory=912 CPUtime=16.48 cores=1,3,5,7
/proc/2137/task/2149/stat : 2149 (java) R 2014 2014 31842 0 -1 4202560 1681 717414 0 0 36 0 1499 113 20 0 17 0 404886614 8127860736 322740 33554432000 4194304 4196468 140735479969600 140549793552880 140550328610131 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2150] ppid=2014 vsize=7937364 memory=1440 CPUtime=16.12 cores=1,3,5,7
/proc/2137/task/2150/stat : 2150 (java) S 2014 2014 31842 0 -1 1077944384 3 717414 0 0 0 0 1499 113 20 0 17 0 404886614 8127860736 322740 33554432000 4194304 4196468 140735479969600 140548174244704 140550350251733 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2151] ppid=2014 vsize=7937364 memory=1768 CPUtime=16.12 cores=1,3,5,7
/proc/2137/task/2151/stat : 2151 (java) S 2014 2014 31842 0 -1 1077944384 3 717414 0 0 0 0 1499 113 20 0 17 0 404886614 8127860736 322740 33554432000 4194304 4196468 140735479969600 140549792500272 140550350252674 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 75 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2154] ppid=2014 vsize=7937364 memory=111636 CPUtime=16.12 cores=1,3,5,7
/proc/2137/task/2154/stat : 2154 (java) S 2014 2014 31842 0 -1 1077944384 23 717414 0 0 0 0 1499 113 20 0 17 0 404886694 8127860736 322740 33554432000 4194304 4196468 140735479969600 140549786657296 140550350252674 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2158] ppid=2014 vsize=7937364 memory=1476 CPUtime=16.12 cores=1,3,5,7
/proc/2137/task/2158/stat : 2158 (java) S 2014 2014 31842 0 -1 1077944384 9 717414 0 0 0 0 1499 113 20 0 17 0 404886697 8127860736 322740 33554432000 4194304 4196468 140735479969600 140547368937008 140550350252674 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
Current children cumulated CPU time: 879.44 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 1292436 KiB

[startup+799.001 s]*
/proc/loadavg: 2.29 2.08 2.07 7/238 2160
/proc/meminfo: memFree=27284964/32770624 swapFree=66999556/67108860
[pid=2014] ppid=2011 vsize=113128 memory=1476 CPUtime=857.31 cores=1,3,5,7
/proc/2014/stat : 2014 (scop.sh) S 2011 2014 31842 0 -1 4202496 582 180295 0 0 0 0 84756 975 20 0 1 0 404808584 115843072 369 33554432000 4194304 5098028 140729666354768 140729666351512 140337156584060 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26480640 140729666360163 140729666360432 140729666360432 140729666363341 0
/proc/2014/statm: 28282 369 311 221 0 87 0
[pid=2137] ppid=2014 vsize=7938388 memory=1293484 CPUtime=22.63 cores=1,3,5,7
/proc/2137/stat : 2137 (java) S 2014 2014 31842 0 -1 1077944320 29502 717414 0 0 603 48 1499 113 20 0 17 0 404886607 8128909312 323305 33554432000 4194304 4196468 140735479969600 140735479952144 140550350241527 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
/proc/2137/statm: 1984597 323305 3254 1 0 1945941 0
[pid=2137/tid=2138] ppid=2014 vsize=7938388 memory=6935054825532540783 CPUtime=17.23 cores=1,3,5,7
/proc/2137/task/2138/stat : 2138 (java) R 2014 2014 31842 0 -1 4202560 18897 717414 0 0 103 8 1499 113 20 0 17 0 404886608 8128909312 323371 33554432000 4194304 4196468 140735479969600 140550322068576 140550342921245 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2139] ppid=2014 vsize=7938388 memory=18612 CPUtime=16.28 cores=1,3,5,7
/proc/2137/task/2139/stat : 2139 (java) S 2014 2014 31842 0 -1 1077944384 99 717414 0 0 11 5 1499 113 20 0 17 0 404886609 8128909312 323371 33554432000 4194304 4196468 140735479969600 140550354484240 140550350251733 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2140] ppid=2014 vsize=7938388 memory=11852 CPUtime=16.28 cores=1,3,5,7
/proc/2137/task/2140/stat : 2140 (java) S 2014 2014 31842 0 -1 1077944384 98 717414 0 0 12 4 1499 113 20 0 17 0 404886609 8128909312 323371 33554432000 4194304 4196468 140735479969600 140549835533456 140550350251733 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2141] ppid=2014 vsize=7938388 memory=532 CPUtime=16.28 cores=1,3,5,7
/proc/2137/task/2141/stat : 2141 (java) S 2014 2014 31842 0 -1 1077944384 187 717414 0 0 12 4 1499 113 20 0 17 0 404886609 8128909312 323371 33554432000 4194304 4196468 140735479969600 140549834480400 140550350251733 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2142] ppid=2014 vsize=7938388 memory=297237773746962458 CPUtime=16.28 cores=1,3,5,7
/proc/2137/task/2142/stat : 2142 (java) S 2014 2014 31842 0 -1 1077944384 229 717414 0 0 12 4 1499 113 20 0 17 0 404886609 8128909312 323371 33554432000 4194304 4196468 140735479969600 140549833427856 140550350251733 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2143] ppid=2014 vsize=7938388 memory=302022869909766459 CPUtime=16.12 cores=1,3,5,7
/proc/2137/task/2143/stat : 2143 (java) S 2014 2014 31842 0 -1 1077944384 24 717414 0 0 0 0 1499 113 20 0 17 0 404886610 8128909312 323371 33554432000 4194304 4196468 140735479969600 140549796710640 140550350252674 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2144] ppid=2014 vsize=7938388 memory=15534141617735790 CPUtime=16.12 cores=1,3,5,7
/proc/2137/task/2144/stat : 2144 (java) S 2014 2014 31842 0 -1 1077944384 14 717414 0 0 0 0 1499 113 20 0 17 0 404886611 8128909312 323371 33554432000 4194304 4196468 140735479969600 140549180876000 140550350251733 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2145] ppid=2014 vsize=7938388 memory=-5059952977386882957 CPUtime=16.12 cores=1,3,5,7
/proc/2137/task/2145/stat : 2145 (java) S 2014 2014 31842 0 -1 1077944384 25 717414 0 0 0 0 1499 113 20 0 17 0 404886611 8128909312 323371 33554432000 4194304 4196468 140735479969600 140549046653696 140550350251733 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2146] ppid=2014 vsize=7938388 memory=-3622645143214314312 CPUtime=16.12 cores=1,3,5,7
/proc/2137/task/2146/stat : 2146 (java) S 2014 2014 31842 0 -1 1077944384 3 717414 0 0 0 0 1499 113 20 0 17 0 404886614 8128909312 323371 33554432000 4194304 4196468 140735479969600 140548672149456 140550350260123 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2147] ppid=2014 vsize=7938388 memory=11044 CPUtime=16.88 cores=1,3,5,7
/proc/2137/task/2147/stat : 2147 (java) R 2014 2014 31842 0 -1 4202560 3468 717414 0 0 76 0 1499 113 20 0 17 0 404886614 8128909312 323371 33554432000 4194304 4196468 140735479969600 140549795651504 140550336273409 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2148] ppid=2014 vsize=7938388 memory=13252 CPUtime=16.87 cores=1,3,5,7
/proc/2137/task/2148/stat : 2148 (java) R 2014 2014 31842 0 -1 4202560 2834 717414 0 0 75 0 1499 113 20 0 17 0 404886614 8128909312 323371 33554432000 4194304 4196468 140735479969600 140549794590816 140550333738315 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2149] ppid=2014 vsize=7938388 memory=15460 CPUtime=16.57 cores=1,3,5,7
/proc/2137/task/2149/stat : 2149 (java) S 2014 2014 31842 0 -1 1077944384 1858 717414 0 0 45 0 1499 113 20 0 17 0 404886614 8128909312 323371 33554432000 4194304 4196468 140735479969600 140549793552880 140550350252674 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2150] ppid=2014 vsize=7938388 memory=17668 CPUtime=16.12 cores=1,3,5,7
/proc/2137/task/2150/stat : 2150 (java) S 2014 2014 31842 0 -1 1077944384 3 717414 0 0 0 0 1499 113 20 0 17 0 404886614 8128909312 323371 33554432000 4194304 4196468 140735479969600 140548174244704 140550350251733 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2151] ppid=2014 vsize=7938388 memory=55 CPUtime=16.12 cores=1,3,5,7
/proc/2137/task/2151/stat : 2151 (java) S 2014 2014 31842 0 -1 1077944384 3 717414 0 0 0 0 1499 113 20 0 17 0 404886614 8128909312 323371 33554432000 4194304 4196468 140735479969600 140549792500272 140550350252674 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 75 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2154] ppid=2014 vsize=7938388 memory=22084 CPUtime=16.12 cores=1,3,5,7
/proc/2137/task/2154/stat : 2154 (java) S 2014 2014 31842 0 -1 1077944384 23 717414 0 0 0 0 1499 113 20 0 17 0 404886694 8128909312 323371 33554432000 4194304 4196468 140735479969600 140549786657296 140550350252674 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
[pid=2137/tid=2158] ppid=2014 vsize=7938388 memory=24292 CPUtime=16.12 cores=1,3,5,7
/proc/2137/task/2158/stat : 2158 (java) S 2014 2014 31842 0 -1 1077944384 9 717414 0 0 0 0 1499 113 20 0 17 0 404886697 8128909312 323371 33554432000 4194304 4196468 140735479969600 140547368937008 140550350252674 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22261760 140735479972860 140735479973018 140735479973018 140735479975887 0
Current children cumulated CPU time: 879.94 s
Current children cumulated vsize: 8051516 KiB
Current children cumulated memory: 1294960 KiB

Child status: 0
Real time (s): 799.086
CPU time (s): 880.126
CPU user time (s): 868.7
CPU system time (s): 11.4267
CPU usage (%): 110.142
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 11084084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 868.7
system time used= 11.4267
maximum resident set size= 11082912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 928496
page faults= 0
swaps= 0
block input operations= 32
block output operations= 602848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33777
involuntary context switches= 1568


# summary of solver processes directly reported to runsolver:
#   pid: 2014
#   total CPU time (s): 880.126
#   total CPU user time (s): 868.7
#   total CPU system time (s): 11.4267

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.43511 second user time and 7.77933 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-12 13:48:25
IDJOB=4387699
IDBENCH=123195
IDSOLVER=2826
FILE ID=node146/4387699-1568288946
RUNJOBID= node146-1568286001-1043
PBS_JOBID= 21701065
Free space on /tmp= 54132 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/MagicSequence/MagicSequence-card-s1/MagicSequence-800-ca.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-4387699-1568288946/watcher-4387699-1568288946 -o /tmp/evaluation-result-4387699-1568288946/solver-4387699-1568288946 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568286001-1043 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387699-1568288946.xml

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

MD5SUM BENCH= bba643cbf375a501e11ba296082ede1c
RANDOM SEED=1215264225

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        29961184 kB
MemAvailable:   30328164 kB
Buffers:           91064 kB
Cached:           552356 kB
SwapCached:         5436 kB
Active:          2007256 kB
Inactive:         209244 kB
Active(anon):    1589788 kB
Inactive(anon):    20856 kB
Active(file):     417468 kB
Inactive(file):   188388 kB
Unevictable:      110908 kB
Mlocked:          110908 kB
SwapTotal:      67108860 kB
SwapFree:       66999544 kB
Dirty:             20596 kB
Writeback:             0 kB
AnonPages:       1680176 kB
Mapped:            52700 kB
Shmem:             28920 kB
Slab:             182868 kB
SReclaimable:     153916 kB
SUnreclaim:        28952 kB
KernelStack:        3808 kB
PageTables:         8956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    7551772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    706560 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 54112 MiB
End job on node146 at 2019-09-12 14:01:44