Trace number 4388092

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 128.484 109.683

General information on the benchmark

NameNonogram/Nonogram-table-s1/
Nonogram-020-table.xml
MD5SUM2abbea49d072b23f7e0e95d09a8d20ca
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 benchmark3.70108
Satisfiable
(Un)Satisfiability was proved
Number of variables1024
Number of constraints64
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":1024}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":1024}]
Minimum constraint arity32
Maximum constraint arity32
Distribution of constraint arities[{"arity":32,"count":64}]
Number of extensional constraints64
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":64}]
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-9114-serial-file.bin HOME/instance-4388092-1568294934.xml
0.67/0.53	
0.67/0.53	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.67/0.53	
0.67/0.56	c BEGIN-Prog: Thu Sep 12 15:28:15 CEST 2019
0.67/0.56	c PID: 9117
0.67/0.56	c IP: 172.20.3.124
0.67/0.56	c HOST: node124.alineos.net
0.67/0.57	c (0,0) Parsing Begin
7.96/5.32	c (4,4) Parsing End
7.96/5.33	c (4,4) CSP: 0 int (0 aux), 1024 bool (0 aux), 64 ctr, max domain size 2
7.96/5.33	c (4,4) Heap : 756 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
7.96/5.33	c (4,4) Constraint Name Generate Begin
7.96/5.34	c (4,4) Ctr:HOME/instance-4388092-1568294934.xml,ExtensionSupport:Var
7.96/5.34	c (4,4) Constraint Name Generate End
7.96/5.34	c (4,4) Heap : 756 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
7.96/5.34	c (4,4) CSP to CSPinCNF Begin
13.69/8.02	c (7,7) translated 7 (10%) constraints
25.29/17.93	c (17,16) translated 13 (20%) constraints
41.64/31.74	c (31,30) translated 20 (30%) constraints
45.15/35.11	c (34,33) translated 26 (40%) constraints
45.97/35.51	c (34,34) translated 32 (50%) constraints
45.97/35.54	c (35,34) translated 39 (60%) constraints
48.45/36.64	c (36,35) translated 45 (70%) constraints
64.42/51.10	c (50,49) translated 52 (80%) constraints
74.55/60.70	c (60,59) translated 58 (90%) constraints
119.38/105.44	c (104,104) translated 64 (100%) constraints
119.38/105.47	c (104,104) ===========================================
119.38/105.49	c (104,104) Hybrid: #OE=13478, #LE=0
119.38/105.49	c (104,104) Hybrid
119.38/105.49	c (104,104) ===========================================
119.76/105.66	c (105,104) translated 5613 (10%) constraints
120.02/105.78	c (105,104) translated 11226 (20%) constraints
120.30/105.90	c (105,104) translated 16839 (30%) constraints
120.45/106.01	c (105,104) translated 22452 (40%) constraints
120.55/106.12	c (105,104) translated 28065 (50%) constraints
120.64/106.24	c (105,104) translated 33678 (60%) constraints
120.78/106.35	c (105,104) translated 39291 (70%) constraints
120.95/106.47	c (105,105) translated 44904 (80%) constraints
121.07/106.58	c (106,105) translated 50517 (90%) constraints
121.17/106.69	c (106,105) translated 56130 (100%) constraints
121.17/106.69	c (106,105) CSP to CSPinCNF End
121.17/106.69	c (106,105) CSP: 0 int (0 aux), 13478 bool (12454 aux), 56130 ctr, max domain size 2
121.17/106.69	c (106,105) Heap : 2881 MiB used (max 11193 MiB), NonHeap : 28 MiB used (max 0 MiB)
121.17/106.69	c (106,105) CSPinCNF Propagation Begin
123.15/107.42	c (106,106) 2166 values, 9919 unsatisfiable literals, and 10121 valid clauses are removed
123.15/107.42	c (106,106) CSPinCNF Propagation End
123.15/107.42	c (106,106) CSP: 0 int (0 aux), 13478 bool (12454 aux), 46009 ctr, max domain size 2
123.15/107.42	c (106,106) Heap : 3171 MiB used (max 11193 MiB), NonHeap : 29 MiB used (max 0 MiB)
123.15/107.45	c (106,106) Hybrid: #OE=13478, #LE=0
123.15/107.45	c (106,106) Simplify CSPinCNF Begin
123.41/107.56	c (107,106) Simplify CSPinCNF End
123.41/107.56	c (107,106) CSP: 0 int (0 aux), 13478 bool (12454 aux), 46009 ctr, max domain size 2
123.41/107.56	c (107,106) Heap : 3243 MiB used (max 11193 MiB), NonHeap : 29 MiB used (max 0 MiB)
123.41/107.56	c (107,106) Calculate Precise Domain Begin
123.41/107.56	c (107,106) 0 values are removed by re-calculation
123.41/107.56	c (107,106) Calculate Precise Domain End
123.41/107.57	c (107,106) CSP: 0 int (0 aux), 13478 bool (12454 aux), 46009 ctr, max domain size 2
123.41/107.57	c (107,106) Heap : 3243 MiB used (max 11193 MiB), NonHeap : 29 MiB used (max 0 MiB)
123.41/107.57	c (107,106) CSPinCNF to SatSolver Begin
124.26/107.80	c (107,106) 4601 (10 %) CSP clauses are encoded (0 SAT variables, 4600 SAT clauses)
124.26/107.89	c (107,106) 9202 (20 %) CSP clauses are encoded (0 SAT variables, 9201 SAT clauses)
124.59/107.99	c (107,106) 13803 (30 %) CSP clauses are encoded (0 SAT variables, 13802 SAT clauses)
124.91/108.05	c (107,106) 18404 (40 %) CSP clauses are encoded (0 SAT variables, 18403 SAT clauses)
124.91/108.10	c (107,106) 23005 (50 %) CSP clauses are encoded (0 SAT variables, 23004 SAT clauses)
125.21/108.15	c (107,106) 27606 (60 %) CSP clauses are encoded (0 SAT variables, 27605 SAT clauses)
125.21/108.18	c (107,106) 32207 (70 %) CSP clauses are encoded (0 SAT variables, 32206 SAT clauses)
125.42/108.22	c (107,106) 36808 (80 %) CSP clauses are encoded (0 SAT variables, 36807 SAT clauses)
125.42/108.25	c (107,106) 41409 (90 %) CSP clauses are encoded (0 SAT variables, 41408 SAT clauses)
125.42/108.29	c (107,106) 46009 (100 %) CSP clauses are encoded (0 SAT variables, 46008 SAT clauses)
125.42/108.29	c (107,106) CSPinCNF to SatSolver End
125.42/108.29	c (107,106) Heap : 3533 MiB used (max 11193 MiB), NonHeap : 31 MiB used (max 0 MiB)
125.42/108.29	c (107,106) 10983 bool, 46009 clause
125.42/108.29	c (107,106) Export Begin
125.73/108.44	c (107,107) Export to HOME/scop-9114-serial-file.bin
125.73/108.44	c (107,107) Export End
125.73/108.44	c (107,107) Export File Size: 0.21 MB
125.73/108.44	c (107,107) 4,4,106,106,107,107,107,STOP-AFTER(DIMACS)
125.73/108.44	c END-Prog: Thu Sep 12 15:30:03 CEST 2019
125.73/108.48	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9114-serial-file.bin
125.90/108.95	c (0,0) Read Serial File Begin
125.90/108.95	c (0,0) HOME/scop-9114-serial-file.bin
126.98/109.23	c (0,0) Read Serial File End
126.98/109.25	
126.98/109.25	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
126.98/109.25	(Solving Process)
126.98/109.25	
126.98/109.27	c BEGIN-Prog: Thu Sep 12 15:30:04 CEST 2019
126.98/109.27	c PID: 9146
126.98/109.27	c IP: 172.20.3.124
126.98/109.27	c HOST: node124.alineos.net
126.98/109.27	c (0,0) SatSolver.solve Begin
126.98/109.27	c (0,0) HOME/cryptominisat5  HOME/instance-4388092-1568294934.xml-scop-9117.cnf
127.30/109.30	c (0,0) c Outputting solution to console
127.30/109.30	c (0,0) c CryptoMiniSat version 5.6.8
127.30/109.30	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
127.30/109.30	c (0,0) c CMS SHA revision GIT-notfound
127.30/109.30	c (0,0) c CMS is MIT licensed
127.30/109.30	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
127.30/109.30	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
127.30/109.30	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388092-1568294934.xml-scop-9117.cnf
127.30/109.30	c (0,0) c Reading file 'HOME/instance-4388092-1568294934.xml-scop-9117.cnf'
127.30/109.30	c (0,0) c -- header says num vars:          10983
127.30/109.30	c (0,0) c -- header says num clauses:       46009
127.30/109.32	c (0,0) c -- clauses added: 46009
127.30/109.32	c (0,0) c -- xor clauses added: 0
127.30/109.32	c (0,0) c -- vars added 10983
127.30/109.32	c (0,0) c Parsing time: 0.01 s
127.30/109.33	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
127.30/109.33	c (0,0) c [distill] long cls tried: 38/25 cl-short:34 lit-r:40 T: 0.00 T-out: N T-r: 100.00%
127.30/109.35	c (0,0) c ------- FINAL TOTAL SEARCH STATS ---------
127.30/109.35	c (0,0) c UIP search time          : 0.03        (63.47     % time)
127.30/109.35	c (0,0) c restarts                 : 3           (185.00    confls per restart)
127.30/109.35	c (0,0) c blocked restarts         : 0           (0.00      per normal restart)
127.30/109.35	c (0,0) c time                     : 0.03        
127.30/109.35	c (0,0) c decisions                : 1503        (0.00      % random)
127.30/109.35	c (0,0) c propagations             : 198797      
127.30/109.35	c (0,0) c decisions/conflicts      : 2.71        
127.30/109.35	c (0,0) c conflicts                : 555         (20041.89  / sec)
127.30/109.35	c (0,0) c conf lits non-minim      : 4523        (8.15      lit/confl)
127.30/109.35	c (0,0) c conf lits final          : 7.52        
127.30/109.35	c (0,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
127.30/109.35	c (0,0) c red which0               : 247         (44.50     % of confl)
127.30/109.35	c (0,0) c props/decision           : 0.00        
127.30/109.35	c (0,0) c props/conflict           : 0.00        
127.30/109.35	c (0,0) c 0-depth assigns          : 171         (1.56      % vars)
127.30/109.35	c (0,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
127.30/109.35	c (0,0) c reduceDB time            : 0.00        (0.00      % time)
127.30/109.35	c (0,0) c OccSimplifier time       : 0.00        (0.00      % time)
127.30/109.35	c (0,0) c [occur] 0.00 is overhead
127.30/109.35	c (0,0) c [occur] link-in T: 0.00 cleanup T: 0.00
127.30/109.35	c (0,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
127.30/109.35	c (0,0) c SCC time                 : 0.00        (0.00      % time)
127.30/109.35	c (0,0) c [scc] new: 0 BP 0M  T: 0.00
127.30/109.35	c (0,0) c vrep replace time        : 0.00        (0.00      % time)
127.30/109.35	c (0,0) c vrep tree roots          : 0           
127.30/109.35	c (0,0) c vrep trees' crown        : 0           (0.00      leafs/tree)
127.30/109.35	c (0,0) c distill time             : 0.00        (2.26      % time)
127.30/109.35	c (0,0) c strength cache-irred time: 0.00        (0.00      % time)
127.30/109.35	c (0,0) c strength cache-red time  : 0.00        (0.00      % time)
127.30/109.35	c (0,0) c Conflicts in UIP         : 555         (12720.90  confl/time_this_thread)
127.30/109.35	c (0,0) c Mem used                 : 8.80        MB
127.30/109.35	c (0,0) c Total time (this thread) : 0.04        
127.30/109.35	c (0,0) s SATISFIABLE
127.58/109.44	c (0,0) SatSolver.solve End
127.58/109.44	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
127.58/109.44	c (0,0) Show results Begin
128.20/109.63	c (0,0) x[0][0] = 0
128.20/109.63	c (0,0) x[0][1] = 0
128.20/109.63	c (0,0) x[0][2] = 0
128.20/109.63	c (0,0) x[0][3] = 0
128.20/109.63	c (0,0) x[0][4] = 0
128.20/109.63	c (0,0) x[0][5] = 0
128.20/109.63	c (0,0) x[0][6] = 0
128.20/109.64	c (0,0) x[0][7] = 0
128.20/109.64	c (0,0) x[0][8] = 0
128.20/109.64	c (0,0) x[0][9] = 0
128.20/109.64	c (0,0) x[0][10] = 0
128.20/109.64	c (0,0) x[0][11] = 0
128.20/109.64	c (0,0) x[0][12] = 0
128.20/109.64	c (0,0) x[0][13] = 0
128.20/109.64	c (0,0) x[0][14] = 0
128.20/109.64	c (0,0) x[0][15] = 0
128.20/109.64	c (0,0) x[0][16] = 0
128.20/109.64	c (0,0) x[0][17] = 0
128.20/109.64	c (0,0) x[0][18] = 0
128.20/109.64	c (0,0) x[0][19] = 0
128.20/109.64	c (0,0) x[0][20] = 0
128.20/109.64	c (0,0) x[0][21] = 1
128.20/109.64	c (0,0) x[0][22] = 1
128.20/109.64	c (0,0) x[0][23] = 1
128.20/109.64	c (0,0) x[0][24] = 1
128.20/109.64	c (0,0) x[0][25] = 1
128.20/109.64	c (0,0) x[0][26] = 0
128.20/109.64	c (0,0) x[0][27] = 0
128.20/109.64	c (0,0) x[0][28] = 0
128.20/109.64	c (0,0) x[0][29] = 0
128.20/109.64	c (0,0) x[0][30] = 0
128.20/109.64	c (0,0) x[0][31] = 0
128.20/109.64	c (0,0) x[1][0] = 0
128.20/109.64	c (0,0) x[1][1] = 0
128.20/109.64	c (0,0) x[1][2] = 0
128.20/109.64	c (0,0) x[1][3] = 0
128.20/109.64	c (0,0) x[1][4] = 0
128.20/109.64	c (0,0) x[1][5] = 0
128.20/109.64	c (0,0) x[1][6] = 0
128.20/109.64	c (0,0) x[1][7] = 0
128.20/109.64	c (0,0) x[1][8] = 0
128.20/109.64	c (0,0) x[1][9] = 0
128.20/109.64	c (0,0) x[1][10] = 0
128.20/109.64	c (0,0) x[1][11] = 0
128.20/109.64	c (0,0) x[1][12] = 0
128.20/109.64	c (0,0) x[1][13] = 0
128.20/109.64	c (0,0) x[1][14] = 0
128.20/109.64	c (0,0) x[1][15] = 0
128.20/109.64	c (0,0) x[1][16] = 0
128.20/109.64	c (0,0) x[1][17] = 0
128.20/109.64	c (0,0) x[1][18] = 0
128.20/109.64	c (0,0) x[1][19] = 1
128.20/109.64	c (0,0) x[1][20] = 1
128.20/109.64	c (0,0) x[1][21] = 1
128.20/109.64	c (0,0) x[1][22] = 0
128.20/109.64	c (0,0) x[1][23] = 0
128.20/109.64	c (0,0) x[1][24] = 0
128.20/109.64	c (0,0) x[1][25] = 1
128.20/109.64	c (0,0) x[1][26] = 0
128.20/109.64	c (0,0) x[1][27] = 0
128.20/109.64	c (0,0) x[1][28] = 0
128.20/109.64	c (0,0) x[1][29] = 0
128.20/109.64	c (0,0) x[1][30] = 0
128.20/109.64	c (0,0) x[1][31] = 0
128.20/109.64	c (0,0) x[2][0] = 0
128.20/109.64	c (0,0) x[2][1] = 0
128.20/109.64	c (0,0) x[2][2] = 0
128.20/109.64	c (0,0) x[2][3] = 0
128.20/109.64	c (0,0) x[2][4] = 0
128.20/109.64	c (0,0) x[2][5] = 0
128.20/109.64	c (0,0) x[2][6] = 0
128.20/109.64	c (0,0) x[2][7] = 0
128.20/109.64	c (0,0) x[2][8] = 0
128.20/109.64	c (0,0) x[2][9] = 0
128.20/109.64	c (0,0) x[2][10] = 0
128.20/109.64	c (0,0) x[2][11] = 0
128.20/109.64	c (0,0) x[2][12] = 0
128.20/109.64	c (0,0) x[2][13] = 0
128.20/109.64	c (0,0) x[2][14] = 0
128.20/109.64	c (0,0) x[2][15] = 1
128.20/109.64	c (0,0) x[2][16] = 1
128.20/109.64	c (0,0) x[2][17] = 1
128.20/109.64	c (0,0) x[2][18] = 1
128.20/109.64	c (0,0) x[2][19] = 1
128.20/109.64	c (0,0) x[2][20] = 0
128.20/109.64	c (0,0) x[2][21] = 0
128.20/109.64	c (0,0) x[2][22] = 0
128.20/109.64	c (0,0) x[2][23] = 1
128.20/109.64	c (0,0) x[2][24] = 0
128.20/109.64	c (0,0) x[2][25] = 1
128.20/109.64	c (0,0) x[2][26] = 0
128.20/109.64	c (0,0) x[2][27] = 0
128.20/109.64	c (0,0) x[2][28] = 0
128.20/109.64	c (0,0) x[2][29] = 0
128.20/109.64	c (0,0) x[2][30] = 0
128.20/109.64	c (0,0) x[2][31] = 0
128.20/109.64	c (0,0) x[3][0] = 0
128.20/109.64	c (0,0) x[3][1] = 0
128.20/109.64	c (0,0) x[3][2] = 0
128.20/109.64	c (0,0) x[3][3] = 0
128.20/109.64	c (0,0) x[3][4] = 0
128.20/109.64	c (0,0) x[3][5] = 0
128.20/109.64	c (0,0) x[3][6] = 0
128.20/109.64	c (0,0) x[3][7] = 0
128.20/109.64	c (0,0) x[3][8] = 0
128.20/109.64	c (0,0) x[3][9] = 0
128.20/109.64	c (0,0) x[3][10] = 0
128.20/109.64	c (0,0) x[3][11] = 1
128.20/109.64	c (0,0) x[3][12] = 1
128.20/109.64	c (0,0) x[3][13] = 1
128.20/109.64	c (0,0) x[3][14] = 1
128.20/109.64	c (0,0) x[3][15] = 1
128.20/109.64	c (0,0) x[3][16] = 0
128.20/109.64	c (0,0) x[3][17] = 0
128.20/109.64	c (0,0) x[3][18] = 0
128.20/109.64	c (0,0) x[3][19] = 0
128.20/109.64	c (0,0) x[3][20] = 0
128.20/109.64	c (0,0) x[3][21] = 0
128.20/109.64	c (0,0) x[3][22] = 0
128.20/109.64	c (0,0) x[3][23] = 0
128.20/109.64	c (0,0) x[3][24] = 1
128.20/109.64	c (0,0) x[3][25] = 1
128.20/109.64	c (0,0) x[3][26] = 0
128.20/109.64	c (0,0) x[3][27] = 0
128.20/109.64	c (0,0) x[3][28] = 0
128.20/109.64	c (0,0) x[3][29] = 0
128.20/109.64	c (0,0) x[3][30] = 0
128.20/109.64	c (0,0) x[3][31] = 0
128.20/109.64	c (0,0) x[4][0] = 0
128.20/109.64	c (0,0) x[4][1] = 0
128.20/109.64	c (0,0) x[4][2] = 0
128.20/109.64	c (0,0) x[4][3] = 0
128.20/109.64	c (0,0) x[4][4] = 0
128.20/109.64	c (0,0) x[4][5] = 0
128.20/109.64	c (0,0) x[4][6] = 0
128.20/109.64	c (0,0) x[4][7] = 0
128.20/109.64	c (0,0) x[4][8] = 1
128.20/109.64	c (0,0) x[4][9] = 1
128.20/109.64	c (0,0) x[4][10] = 1
128.20/109.64	c (0,0) x[4][11] = 1
128.20/109.64	c (0,0) x[4][12] = 0
128.20/109.64	c (0,0) x[4][13] = 0
128.20/109.64	c (0,0) x[4][14] = 0
128.20/109.64	c (0,0) x[4][15] = 0
128.20/109.64	c (0,0) x[4][16] = 0
128.20/109.64	c (0,0) x[4][17] = 1
128.20/109.64	c (0,0) x[4][18] = 1
128.20/109.64	c (0,0) x[4][19] = 1
128.20/109.64	c (0,0) x[4][20] = 1
128.20/109.64	c (0,0) x[4][21] = 0
128.20/109.64	c (0,0) x[4][22] = 0
128.20/109.64	c (0,0) x[4][23] = 1
128.20/109.64	c (0,0) x[4][24] = 1
128.20/109.64	c (0,0) x[4][25] = 0
128.20/109.64	c (0,0) x[4][26] = 0
128.20/109.64	c (0,0) x[4][27] = 0
128.20/109.64	c (0,0) x[4][28] = 0
128.20/109.64	c (0,0) x[4][29] = 0
128.20/109.64	c (0,0) x[4][30] = 0
128.20/109.64	c (0,0) x[4][31] = 0
128.20/109.64	c (0,0) x[5][0] = 0
128.20/109.64	c (0,0) x[5][1] = 0
128.20/109.64	c (0,0) x[5][2] = 0
128.20/109.64	c (0,0) x[5][3] = 0
128.20/109.64	c (0,0) x[5][4] = 0
128.20/109.64	c (0,0) x[5][5] = 1
128.20/109.64	c (0,0) x[5][6] = 1
128.20/109.64	c (0,0) x[5][7] = 1
128.20/109.64	c (0,0) x[5][8] = 1
128.20/109.64	c (0,0) x[5][9] = 0
128.20/109.64	c (0,0) x[5][10] = 0
128.20/109.64	c (0,0) x[5][11] = 0
128.20/109.64	c (0,0) x[5][12] = 0
128.20/109.64	c (0,0) x[5][13] = 0
128.20/109.64	c (0,0) x[5][14] = 0
128.20/109.64	c (0,0) x[5][15] = 0
128.20/109.64	c (0,0) x[5][16] = 1
128.20/109.64	c (0,0) x[5][17] = 1
128.20/109.64	c (0,0) x[5][18] = 1
128.20/109.64	c (0,0) x[5][19] = 1
128.20/109.64	c (0,0) x[5][20] = 0
128.20/109.64	c (0,0) x[5][21] = 0
128.20/109.64	c (0,0) x[5][22] = 0
128.20/109.64	c (0,0) x[5][23] = 1
128.20/109.64	c (0,0) x[5][24] = 0
128.20/109.64	c (0,0) x[5][25] = 0
128.20/109.64	c (0,0) x[5][26] = 0
128.20/109.64	c (0,0) x[5][27] = 0
128.20/109.64	c (0,0) x[5][28] = 0
128.20/109.64	c (0,0) x[5][29] = 0
128.20/109.64	c (0,0) x[5][30] = 0
128.20/109.64	c (0,0) x[5][31] = 0
128.20/109.64	c (0,0) x[6][0] = 0
128.20/109.64	c (0,0) x[6][1] = 0
128.20/109.64	c (0,0) x[6][2] = 0
128.20/109.64	c (0,0) x[6][3] = 0
128.20/109.64	c (0,0) x[6][4] = 1
128.20/109.64	c (0,0) x[6][5] = 0
128.20/109.64	c (0,0) x[6][6] = 1
128.20/109.64	c (0,0) x[6][7] = 0
128.20/109.64	c (0,0) x[6][8] = 0
128.20/109.64	c (0,0) x[6][9] = 0
128.20/109.64	c (0,0) x[6][10] = 0
128.20/109.64	c (0,0) x[6][11] = 0
128.20/109.64	c (0,0) x[6][12] = 0
128.20/109.64	c (0,0) x[6][13] = 0
128.20/109.64	c (0,0) x[6][14] = 0
128.20/109.64	c (0,0) x[6][15] = 1
128.20/109.64	c (0,0) x[6][16] = 1
128.20/109.64	c (0,0) x[6][17] = 1
128.20/109.64	c (0,0) x[6][18] = 1
128.20/109.64	c (0,0) x[6][19] = 0
128.20/109.64	c (0,0) x[6][20] = 0
128.20/109.64	c (0,0) x[6][21] = 0
128.20/109.64	c (0,0) x[6][22] = 0
128.20/109.64	c (0,0) x[6][23] = 1
128.20/109.64	c (0,0) x[6][24] = 1
128.20/109.64	c (0,0) x[6][25] = 0
128.20/109.64	c (0,0) x[6][26] = 0
128.20/109.64	c (0,0) x[6][27] = 0
128.20/109.64	c (0,0) x[6][28] = 0
128.20/109.64	c (0,0) x[6][29] = 0
128.20/109.64	c (0,0) x[6][30] = 0
128.20/109.64	c (0,0) x[6][31] = 0
128.20/109.64	c (0,0) x[7][0] = 0
128.20/109.64	c (0,0) x[7][1] = 0
128.20/109.64	c (0,0) x[7][2] = 0
128.20/109.64	c (0,0) x[7][3] = 0
128.20/109.64	c (0,0) x[7][4] = 1
128.20/109.64	c (0,0) x[7][5] = 0
128.20/109.64	c (0,0) x[7][6] = 1
128.20/109.64	c (0,0) x[7][7] = 1
128.20/109.64	c (0,0) x[7][8] = 0
128.20/109.64	c (0,0) x[7][9] = 0
128.20/109.64	c (0,0) x[7][10] = 0
128.20/109.64	c (0,0) x[7][11] = 0
128.20/109.64	c (0,0) x[7][12] = 0
128.20/109.64	c (0,0) x[7][13] = 0
128.20/109.64	c (0,0) x[7][14] = 0
128.20/109.64	c (0,0) x[7][15] = 1
128.20/109.64	c (0,0) x[7][16] = 0
128.20/109.64	c (0,0) x[7][17] = 0
128.20/109.64	c (0,0) x[7][18] = 0
128.20/109.64	c (0,0) x[7][19] = 0
128.20/109.64	c (0,0) x[7][20] = 0
128.20/109.64	c (0,0) x[7][21] = 0
128.20/109.64	c (0,0) x[7][22] = 0
128.20/109.64	c (0,0) x[7][23] = 0
128.20/109.64	c (0,0) x[7][24] = 1
128.20/109.64	c (0,0) x[7][25] = 1
128.20/109.64	c (0,0) x[7][26] = 0
128.20/109.64	c (0,0) x[7][27] = 0
128.20/109.64	c (0,0) x[7][28] = 0
128.20/109.64	c (0,0) x[7][29] = 0
128.20/109.64	c (0,0) x[7][30] = 0
128.20/109.64	c (0,0) x[7][31] = 0
128.20/109.64	c (0,0) x[8][0] = 0
128.20/109.64	c (0,0) x[8][1] = 0
128.20/109.64	c (0,0) x[8][2] = 0
128.20/109.64	c (0,0) x[8][3] = 0
128.20/109.64	c (0,0) x[8][4] = 1
128.20/109.64	c (0,0) x[8][5] = 1
128.20/109.64	c (0,0) x[8][6] = 1
128.20/109.64	c (0,0) x[8][7] = 1
128.20/109.64	c (0,0) x[8][8] = 1
128.20/109.64	c (0,0) x[8][9] = 0
128.20/109.64	c (0,0) x[8][10] = 1
128.20/109.64	c (0,0) x[8][11] = 0
128.20/109.64	c (0,0) x[8][12] = 0
128.20/109.64	c (0,0) x[8][13] = 0
128.20/109.64	c (0,0) x[8][14] = 0
128.20/109.64	c (0,0) x[8][15] = 0
128.20/109.64	c (0,0) x[8][16] = 0
128.20/109.64	c (0,0) x[8][17] = 0
128.20/109.64	c (0,0) x[8][18] = 0
128.20/109.64	c (0,0) x[8][19] = 0
128.20/109.64	c (0,0) x[8][20] = 0
128.20/109.64	c (0,0) x[8][21] = 0
128.20/109.64	c (0,0) x[8][22] = 1
128.20/109.64	c (0,0) x[8][23] = 0
128.20/109.64	c (0,0) x[8][24] = 0
128.20/109.64	c (0,0) x[8][25] = 1
128.20/109.64	c (0,0) x[8][26] = 0
128.20/109.64	c (0,0) x[8][27] = 0
128.20/109.64	c (0,0) x[8][28] = 0
128.20/109.64	c (0,0) x[8][29] = 0
128.20/109.64	c (0,0) x[8][30] = 0
128.20/109.64	c (0,0) x[8][31] = 0
128.20/109.64	c (0,0) x[9][0] = 0
128.20/109.64	c (0,0) x[9][1] = 0
128.20/109.64	c (0,0) x[9][2] = 0
128.20/109.64	c (0,0) x[9][3] = 0
128.20/109.64	c (0,0) x[9][4] = 0
128.20/109.64	c (0,0) x[9][5] = 1
128.20/109.64	c (0,0) x[9][6] = 1
128.20/109.64	c (0,0) x[9][7] = 1
128.20/109.64	c (0,0) x[9][8] = 1
128.20/109.64	c (0,0) x[9][9] = 1
128.20/109.64	c (0,0) x[9][10] = 1
128.20/109.64	c (0,0) x[9][11] = 1
128.20/109.64	c (0,0) x[9][12] = 1
128.20/109.64	c (0,0) x[9][13] = 1
128.20/109.64	c (0,0) x[9][14] = 1
128.20/109.64	c (0,0) x[9][15] = 0
128.20/109.64	c (0,0) x[9][16] = 0
128.20/109.64	c (0,0) x[9][17] = 0
128.20/109.64	c (0,0) x[9][18] = 0
128.20/109.64	c (0,0) x[9][19] = 0
128.20/109.64	c (0,0) x[9][20] = 1
128.20/109.64	c (0,0) x[9][21] = 1
128.20/109.64	c (0,0) x[9][22] = 0
128.20/109.64	c (0,0) x[9][23] = 0
128.20/109.64	c (0,0) x[9][24] = 0
128.20/109.64	c (0,0) x[9][25] = 1
128.20/109.64	c (0,0) x[9][26] = 0
128.20/109.64	c (0,0) x[9][27] = 0
128.20/109.64	c (0,0) x[9][28] = 0
128.20/109.64	c (0,0) x[9][29] = 0
128.20/109.64	c (0,0) x[9][30] = 0
128.20/109.64	c (0,0) x[9][31] = 0
128.20/109.64	c (0,0) x[10][0] = 0
128.20/109.64	c (0,0) x[10][1] = 0
128.20/109.64	c (0,0) x[10][2] = 0
128.20/109.64	c (0,0) x[10][3] = 0
128.20/109.64	c (0,0) x[10][4] = 0
128.20/109.64	c (0,0) x[10][5] = 0
128.20/109.64	c (0,0) x[10][6] = 0
128.20/109.64	c (0,0) x[10][7] = 0
128.20/109.64	c (0,0) x[10][8] = 0
128.20/109.64	c (0,0) x[10][9] = 0
128.20/109.64	c (0,0) x[10][10] = 0
128.20/109.64	c (0,0) x[10][11] = 1
128.20/109.64	c (0,0) x[10][12] = 1
128.20/109.64	c (0,0) x[10][13] = 1
128.20/109.64	c (0,0) x[10][14] = 1
128.20/109.64	c (0,0) x[10][15] = 1
128.20/109.64	c (0,0) x[10][16] = 0
128.20/109.64	c (0,0) x[10][17] = 0
128.20/109.64	c (0,0) x[10][18] = 0
128.20/109.64	c (0,0) x[10][19] = 1
128.20/109.64	c (0,0) x[10][20] = 1
128.20/109.64	c (0,0) x[10][21] = 1
128.20/109.64	c (0,0) x[10][22] = 1
128.20/109.64	c (0,0) x[10][23] = 0
128.20/109.64	c (0,0) x[10][24] = 0
128.20/109.64	c (0,0) x[10][25] = 1
128.20/109.64	c (0,0) x[10][26] = 0
128.20/109.64	c (0,0) x[10][27] = 0
128.20/109.64	c (0,0) x[10][28] = 0
128.20/109.64	c (0,0) x[10][29] = 0
128.20/109.64	c (0,0) x[10][30] = 0
128.20/109.64	c (0,0) x[10][31] = 0
128.20/109.64	c (0,0) x[11][0] = 0
128.20/109.64	c (0,0) x[11][1] = 0
128.20/109.64	c (0,0) x[11][2] = 0
128.20/109.64	c (0,0) x[11][3] = 0
128.20/109.64	c (0,0) x[11][4] = 0
128.20/109.64	c (0,0) x[11][5] = 0
128.20/109.64	c (0,0) x[11][6] = 0
128.20/109.64	c (0,0) x[11][7] = 0
128.20/109.64	c (0,0) x[11][8] = 0
128.20/109.64	c (0,0) x[11][9] = 0
128.20/109.64	c (0,0) x[11][10] = 0
128.20/109.64	c (0,0) x[11][11] = 1
128.20/109.64	c (0,0) x[11][12] = 1
128.20/109.64	c (0,0) x[11][13] = 1
128.20/109.64	c (0,0) x[11][14] = 1
128.20/109.64	c (0,0) x[11][15] = 1
128.20/109.64	c (0,0) x[11][16] = 1
128.20/109.64	c (0,0) x[11][17] = 1
128.20/109.64	c (0,0) x[11][18] = 1
128.20/109.64	c (0,0) x[11][19] = 1
128.20/109.64	c (0,0) x[11][20] = 1
128.20/109.64	c (0,0) x[11][21] = 0
128.20/109.64	c (0,0) x[11][22] = 0
128.20/109.64	c (0,0) x[11][23] = 0
128.20/109.64	c (0,0) x[11][24] = 0
128.20/109.64	c (0,0) x[11][25] = 1
128.20/109.64	c (0,0) x[11][26] = 0
128.20/109.64	c (0,0) x[11][27] = 0
128.20/109.64	c (0,0) x[11][28] = 0
128.20/109.64	c (0,0) x[11][29] = 0
128.20/109.64	c (0,0) x[11][30] = 0
128.20/109.64	c (0,0) x[11][31] = 0
128.20/109.64	c (0,0) x[12][0] = 0
128.20/109.64	c (0,0) x[12][1] = 0
128.20/109.64	c (0,0) x[12][2] = 0
128.20/109.64	c (0,0) x[12][3] = 0
128.20/109.64	c (0,0) x[12][4] = 0
128.20/109.64	c (0,0) x[12][5] = 0
128.20/109.64	c (0,0) x[12][6] = 0
128.20/109.64	c (0,0) x[12][7] = 0
128.20/109.64	c (0,0) x[12][8] = 0
128.20/109.64	c (0,0) x[12][9] = 0
128.20/109.64	c (0,0) x[12][10] = 0
128.20/109.64	c (0,0) x[12][11] = 1
128.20/109.64	c (0,0) x[12][12] = 1
128.20/109.64	c (0,0) x[12][13] = 1
128.20/109.64	c (0,0) x[12][14] = 1
128.20/109.64	c (0,0) x[12][15] = 1
128.20/109.64	c (0,0) x[12][16] = 1
128.20/109.64	c (0,0) x[12][17] = 1
128.20/109.64	c (0,0) x[12][18] = 1
128.20/109.64	c (0,0) x[12][19] = 1
128.20/109.64	c (0,0) x[12][20] = 0
128.20/109.64	c (0,0) x[12][21] = 0
128.20/109.64	c (0,0) x[12][22] = 0
128.20/109.64	c (0,0) x[12][23] = 0
128.20/109.64	c (0,0) x[12][24] = 0
128.20/109.64	c (0,0) x[12][25] = 1
128.20/109.64	c (0,0) x[12][26] = 0
128.20/109.64	c (0,0) x[12][27] = 0
128.20/109.64	c (0,0) x[12][28] = 0
128.20/109.64	c (0,0) x[12][29] = 0
128.20/109.64	c (0,0) x[12][30] = 0
128.20/109.64	c (0,0) x[12][31] = 0
128.20/109.64	c (0,0) x[13][0] = 0
128.20/109.64	c (0,0) x[13][1] = 0
128.20/109.64	c (0,0) x[13][2] = 0
128.20/109.64	c (0,0) x[13][3] = 0
128.20/109.64	c (0,0) x[13][4] = 0
128.20/109.64	c (0,0) x[13][5] = 0
128.20/109.64	c (0,0) x[13][6] = 0
128.20/109.64	c (0,0) x[13][7] = 0
128.20/109.64	c (0,0) x[13][8] = 0
128.20/109.64	c (0,0) x[13][9] = 0
128.20/109.64	c (0,0) x[13][10] = 0
128.20/109.64	c (0,0) x[13][11] = 1
128.20/109.64	c (0,0) x[13][12] = 1
128.20/109.64	c (0,0) x[13][13] = 0
128.20/109.64	c (0,0) x[13][14] = 0
128.20/109.64	c (0,0) x[13][15] = 0
128.20/109.64	c (0,0) x[13][16] = 1
128.20/109.64	c (0,0) x[13][17] = 0
128.20/109.64	c (0,0) x[13][18] = 0
128.20/109.64	c (0,0) x[13][19] = 1
128.20/109.64	c (0,0) x[13][20] = 0
128.20/109.64	c (0,0) x[13][21] = 0
128.20/109.64	c (0,0) x[13][22] = 0
128.20/109.64	c (0,0) x[13][23] = 1
128.20/109.64	c (0,0) x[13][24] = 1
128.20/109.64	c (0,0) x[13][25] = 1
128.20/109.64	c (0,0) x[13][26] = 0
128.20/109.64	c (0,0) x[13][27] = 0
128.20/109.64	c (0,0) x[13][28] = 0
128.20/109.64	c (0,0) x[13][29] = 0
128.20/109.64	c (0,0) x[13][30] = 0
128.20/109.64	c (0,0) x[13][31] = 0
128.20/109.64	c (0,0) x[14][0] = 0
128.20/109.64	c (0,0) x[14][1] = 0
128.20/109.64	c (0,0) x[14][2] = 0
128.20/109.64	c (0,0) x[14][3] = 0
128.20/109.64	c (0,0) x[14][4] = 0
128.20/109.64	c (0,0) x[14][5] = 0
128.20/109.64	c (0,0) x[14][6] = 0
128.20/109.64	c (0,0) x[14][7] = 0
128.20/109.64	c (0,0) x[14][8] = 0
128.20/109.64	c (0,0) x[14][9] = 0
128.20/109.64	c (0,0) x[14][10] = 1
128.20/109.64	c (0,0) x[14][11] = 0
128.20/109.64	c (0,0) x[14][12] = 1
128.20/109.64	c (0,0) x[14][13] = 0
128.20/109.64	c (0,0) x[14][14] = 0
128.20/109.64	c (0,0) x[14][15] = 0
128.20/109.64	c (0,0) x[14][16] = 0
128.20/109.64	c (0,0) x[14][17] = 0
128.20/109.64	c (0,0) x[14][18] = 0
128.20/109.64	c (0,0) x[14][19] = 0
128.20/109.64	c (0,0) x[14][20] = 0
128.20/109.64	c (0,0) x[14][21] = 0
128.20/109.64	c (0,0) x[14][22] = 1
128.20/109.64	c (0,0) x[14][23] = 1
128.20/109.64	c (0,0) x[14][24] = 0
128.20/109.64	c (0,0) x[14][25] = 1
128.20/109.64	c (0,0) x[14][26] = 0
128.20/109.64	c (0,0) x[14][27] = 0
128.20/109.64	c (0,0) x[14][28] = 0
128.20/109.64	c (0,0) x[14][29] = 0
128.20/109.64	c (0,0) x[14][30] = 0
128.20/109.64	c (0,0) x[14][31] = 0
128.20/109.64	c (0,0) x[15][0] = 0
128.20/109.64	c (0,0) x[15][1] = 0
128.20/109.64	c (0,0) x[15][2] = 0
128.20/109.64	c (0,0) x[15][3] = 0
128.20/109.64	c (0,0) x[15][4] = 0
128.20/109.64	c (0,0) x[15][5] = 0
128.20/109.64	c (0,0) x[15][6] = 0
128.20/109.64	c (0,0) x[15][7] = 0
128.20/109.64	c (0,0) x[15][8] = 0
128.20/109.64	c (0,0) x[15][9] = 1
128.20/109.64	c (0,0) x[15][10] = 0
128.20/109.64	c (0,0) x[15][11] = 1
128.20/109.64	c (0,0) x[15][12] = 0
128.20/109.64	c (0,0) x[15][13] = 0
128.20/109.64	c (0,0) x[15][14] = 0
128.20/109.64	c (0,0) x[15][15] = 0
128.20/109.64	c (0,0) x[15][16] = 0
128.20/109.64	c (0,0) x[15][17] = 0
128.20/109.64	c (0,0) x[15][18] = 0
128.20/109.64	c (0,0) x[15][19] = 0
128.20/109.64	c (0,0) x[15][20] = 0
128.20/109.64	c (0,0) x[15][21] = 1
128.20/109.64	c (0,0) x[15][22] = 1
128.20/109.64	c (0,0) x[15][23] = 0
128.20/109.64	c (0,0) x[15][24] = 1
128.20/109.64	c (0,0) x[15][25] = 1
128.20/109.64	c (0,0) x[15][26] = 0
128.20/109.64	c (0,0) x[15][27] = 0
128.20/109.64	c (0,0) x[15][28] = 0
128.20/109.64	c (0,0) x[15][29] = 0
128.20/109.64	c (0,0) x[15][30] = 0
128.20/109.64	c (0,0) x[15][31] = 0
128.20/109.64	c (0,0) x[16][0] = 0
128.20/109.64	c (0,0) x[16][1] = 0
128.20/109.64	c (0,0) x[16][2] = 0
128.20/109.64	c (0,0) x[16][3] = 0
128.20/109.64	c (0,0) x[16][4] = 0
128.20/109.64	c (0,0) x[16][5] = 0
128.20/109.64	c (0,0) x[16][6] = 0
128.20/109.64	c (0,0) x[16][7] = 0
128.20/109.65	c (0,0) x[16][8] = 0
128.20/109.65	c (0,0) x[16][9] = 1
128.20/109.65	c (0,0) x[16][10] = 0
128.20/109.65	c (0,0) x[16][11] = 0
128.20/109.65	c (0,0) x[16][12] = 0
128.20/109.65	c (0,0) x[16][13] = 0
128.20/109.65	c (0,0) x[16][14] = 0
128.20/109.65	c (0,0) x[16][15] = 0
128.20/109.65	c (0,0) x[16][16] = 0
128.20/109.65	c (0,0) x[16][17] = 0
128.20/109.65	c (0,0) x[16][18] = 0
128.20/109.65	c (0,0) x[16][19] = 0
128.20/109.65	c (0,0) x[16][20] = 1
128.20/109.65	c (0,0) x[16][21] = 1
128.20/109.65	c (0,0) x[16][22] = 0
128.20/109.65	c (0,0) x[16][23] = 0
128.20/109.65	c (0,0) x[16][24] = 0
128.20/109.65	c (0,0) x[16][25] = 1
128.20/109.65	c (0,0) x[16][26] = 0
128.20/109.65	c (0,0) x[16][27] = 0
128.20/109.65	c (0,0) x[16][28] = 0
128.20/109.65	c (0,0) x[16][29] = 0
128.20/109.65	c (0,0) x[16][30] = 0
128.20/109.65	c (0,0) x[16][31] = 0
128.20/109.65	c (0,0) x[17][0] = 0
128.20/109.65	c (0,0) x[17][1] = 0
128.20/109.65	c (0,0) x[17][2] = 0
128.20/109.65	c (0,0) x[17][3] = 0
128.20/109.65	c (0,0) x[17][4] = 0
128.20/109.65	c (0,0) x[17][5] = 0
128.20/109.65	c (0,0) x[17][6] = 0
128.20/109.65	c (0,0) x[17][7] = 0
128.20/109.65	c (0,0) x[17][8] = 0
128.20/109.65	c (0,0) x[17][9] = 1
128.20/109.65	c (0,0) x[17][10] = 1
128.20/109.65	c (0,0) x[17][11] = 0
128.20/109.65	c (0,0) x[17][12] = 0
128.20/109.65	c (0,0) x[17][13] = 0
128.20/109.65	c (0,0) x[17][14] = 0
128.20/109.65	c (0,0) x[17][15] = 0
128.20/109.65	c (0,0) x[17][16] = 0
128.20/109.65	c (0,0) x[17][17] = 0
128.20/109.65	c (0,0) x[17][18] = 0
128.20/109.65	c (0,0) x[17][19] = 1
128.20/109.65	c (0,0) x[17][20] = 1
128.20/109.65	c (0,0) x[17][21] = 0
128.20/109.65	c (0,0) x[17][22] = 0
128.20/109.65	c (0,0) x[17][23] = 1
128.20/109.65	c (0,0) x[17][24] = 1
128.20/109.65	c (0,0) x[17][25] = 1
128.20/109.65	c (0,0) x[17][26] = 0
128.20/109.65	c (0,0) x[17][27] = 0
128.20/109.65	c (0,0) x[17][28] = 0
128.20/109.65	c (0,0) x[17][29] = 0
128.20/109.65	c (0,0) x[17][30] = 0
128.20/109.65	c (0,0) x[17][31] = 0
128.20/109.65	c (0,0) x[18][0] = 0
128.20/109.65	c (0,0) x[18][1] = 0
128.20/109.65	c (0,0) x[18][2] = 0
128.20/109.65	c (0,0) x[18][3] = 0
128.20/109.65	c (0,0) x[18][4] = 0
128.20/109.65	c (0,0) x[18][5] = 0
128.20/109.65	c (0,0) x[18][6] = 0
128.20/109.65	c (0,0) x[18][7] = 0
128.20/109.65	c (0,0) x[18][8] = 0
128.20/109.65	c (0,0) x[18][9] = 1
128.20/109.65	c (0,0) x[18][10] = 0
128.20/109.65	c (0,0) x[18][11] = 0
128.20/109.65	c (0,0) x[18][12] = 0
128.20/109.65	c (0,0) x[18][13] = 0
128.20/109.65	c (0,0) x[18][14] = 0
128.20/109.65	c (0,0) x[18][15] = 0
128.20/109.65	c (0,0) x[18][16] = 0
128.20/109.65	c (0,0) x[18][17] = 0
128.20/109.65	c (0,0) x[18][18] = 1
128.20/109.65	c (0,0) x[18][19] = 1
128.20/109.65	c (0,0) x[18][20] = 0
128.20/109.65	c (0,0) x[18][21] = 0
128.20/109.65	c (0,0) x[18][22] = 1
128.20/109.65	c (0,0) x[18][23] = 1
128.20/109.65	c (0,0) x[18][24] = 1
128.20/109.65	c (0,0) x[18][25] = 1
128.20/109.65	c (0,0) x[18][26] = 0
128.20/109.65	c (0,0) x[18][27] = 0
128.20/109.65	c (0,0) x[18][28] = 0
128.20/109.65	c (0,0) x[18][29] = 0
128.20/109.65	c (0,0) x[18][30] = 0
128.20/109.65	c (0,0) x[18][31] = 0
128.20/109.65	c (0,0) x[19][0] = 0
128.20/109.65	c (0,0) x[19][1] = 0
128.20/109.65	c (0,0) x[19][2] = 0
128.20/109.65	c (0,0) x[19][3] = 0
128.20/109.65	c (0,0) x[19][4] = 0
128.20/109.65	c (0,0) x[19][5] = 0
128.20/109.65	c (0,0) x[19][6] = 0
128.20/109.65	c (0,0) x[19][7] = 0
128.20/109.65	c (0,0) x[19][8] = 0
128.20/109.65	c (0,0) x[19][9] = 1
128.20/109.65	c (0,0) x[19][10] = 0
128.20/109.65	c (0,0) x[19][11] = 0
128.20/109.65	c (0,0) x[19][12] = 0
128.20/109.65	c (0,0) x[19][13] = 0
128.20/109.65	c (0,0) x[19][14] = 0
128.20/109.65	c (0,0) x[19][15] = 0
128.20/109.65	c (0,0) x[19][16] = 0
128.20/109.65	c (0,0) x[19][17] = 0
128.20/109.65	c (0,0) x[19][18] = 0
128.20/109.65	c (0,0) x[19][19] = 0
128.20/109.65	c (0,0) x[19][20] = 0
128.20/109.65	c (0,0) x[19][21] = 1
128.20/109.65	c (0,0) x[19][22] = 1
128.20/109.65	c (0,0) x[19][23] = 1
128.20/109.65	c (0,0) x[19][24] = 1
128.20/109.65	c (0,0) x[19][25] = 1
128.20/109.65	c (0,0) x[19][26] = 0
128.20/109.65	c (0,0) x[19][27] = 0
128.20/109.65	c (0,0) x[19][28] = 0
128.20/109.65	c (0,0) x[19][29] = 0
128.20/109.65	c (0,0) x[19][30] = 0
128.20/109.65	c (0,0) x[19][31] = 0
128.20/109.65	c (0,0) x[20][0] = 0
128.20/109.65	c (0,0) x[20][1] = 0
128.20/109.65	c (0,0) x[20][2] = 0
128.20/109.65	c (0,0) x[20][3] = 0
128.20/109.65	c (0,0) x[20][4] = 0
128.20/109.65	c (0,0) x[20][5] = 0
128.20/109.65	c (0,0) x[20][6] = 0
128.20/109.65	c (0,0) x[20][7] = 0
128.20/109.65	c (0,0) x[20][8] = 0
128.20/109.65	c (0,0) x[20][9] = 1
128.20/109.65	c (0,0) x[20][10] = 0
128.20/109.65	c (0,0) x[20][11] = 0
128.20/109.65	c (0,0) x[20][12] = 0
128.20/109.65	c (0,0) x[20][13] = 0
128.20/109.65	c (0,0) x[20][14] = 0
128.20/109.65	c (0,0) x[20][15] = 0
128.20/109.65	c (0,0) x[20][16] = 0
128.20/109.65	c (0,0) x[20][17] = 0
128.20/109.65	c (0,0) x[20][18] = 0
128.20/109.65	c (0,0) x[20][19] = 0
128.20/109.65	c (0,0) x[20][20] = 1
128.20/109.65	c (0,0) x[20][21] = 1
128.20/109.65	c (0,0) x[20][22] = 0
128.20/109.65	c (0,0) x[20][23] = 0
128.20/109.65	c (0,0) x[20][24] = 1
128.20/109.65	c (0,0) x[20][25] = 1
128.20/109.65	c (0,0) x[20][26] = 0
128.20/109.65	c (0,0) x[20][27] = 0
128.20/109.65	c (0,0) x[20][28] = 0
128.20/109.65	c (0,0) x[20][29] = 0
128.20/109.65	c (0,0) x[20][30] = 0
128.20/109.65	c (0,0) x[20][31] = 0
128.20/109.65	c (0,0) x[21][0] = 0
128.20/109.65	c (0,0) x[21][1] = 0
128.20/109.65	c (0,0) x[21][2] = 0
128.20/109.65	c (0,0) x[21][3] = 0
128.20/109.65	c (0,0) x[21][4] = 0
128.20/109.65	c (0,0) x[21][5] = 0
128.20/109.65	c (0,0) x[21][6] = 0
128.20/109.65	c (0,0) x[21][7] = 0
128.20/109.65	c (0,0) x[21][8] = 0
128.20/109.65	c (0,0) x[21][9] = 1
128.20/109.65	c (0,0) x[21][10] = 1
128.20/109.65	c (0,0) x[21][11] = 0
128.20/109.65	c (0,0) x[21][12] = 0
128.20/109.65	c (0,0) x[21][13] = 0
128.20/109.65	c (0,0) x[21][14] = 0
128.20/109.65	c (0,0) x[21][15] = 0
128.20/109.65	c (0,0) x[21][16] = 0
128.20/109.65	c (0,0) x[21][17] = 0
128.20/109.65	c (0,0) x[21][18] = 0
128.20/109.65	c (0,0) x[21][19] = 1
128.20/109.65	c (0,0) x[21][20] = 1
128.20/109.65	c (0,0) x[21][21] = 1
128.20/109.65	c (0,0) x[21][22] = 0
128.20/109.65	c (0,0) x[21][23] = 1
128.20/109.65	c (0,0) x[21][24] = 1
128.20/109.65	c (0,0) x[21][25] = 0
128.20/109.65	c (0,0) x[21][26] = 0
128.20/109.65	c (0,0) x[21][27] = 0
128.20/109.65	c (0,0) x[21][28] = 0
128.20/109.65	c (0,0) x[21][29] = 0
128.20/109.65	c (0,0) x[21][30] = 0
128.20/109.65	c (0,0) x[21][31] = 0
128.20/109.65	c (0,0) x[22][0] = 0
128.20/109.65	c (0,0) x[22][1] = 0
128.20/109.66	c (0,0) x[22][2] = 0
128.20/109.66	c (0,0) x[22][3] = 0
128.20/109.66	c (0,0) x[22][4] = 0
128.20/109.66	c (0,0) x[22][5] = 0
128.20/109.66	c (0,0) x[22][6] = 0
128.20/109.66	c (0,0) x[22][7] = 0
128.20/109.66	c (0,0) x[22][8] = 0
128.20/109.66	c (0,0) x[22][9] = 0
128.20/109.66	c (0,0) x[22][10] = 1
128.20/109.66	c (0,0) x[22][11] = 1
128.20/109.66	c (0,0) x[22][12] = 0
128.20/109.66	c (0,0) x[22][13] = 0
128.20/109.66	c (0,0) x[22][14] = 0
128.20/109.66	c (0,0) x[22][15] = 0
128.20/109.66	c (0,0) x[22][16] = 0
128.20/109.66	c (0,0) x[22][17] = 0
128.20/109.66	c (0,0) x[22][18] = 1
128.20/109.66	c (0,0) x[22][19] = 1
128.20/109.66	c (0,0) x[22][20] = 0
128.20/109.66	c (0,0) x[22][21] = 0
128.20/109.66	c (0,0) x[22][22] = 1
128.20/109.66	c (0,0) x[22][23] = 1
128.20/109.66	c (0,0) x[22][24] = 0
128.20/109.66	c (0,0) x[22][25] = 0
128.20/109.66	c (0,0) x[22][26] = 0
128.20/109.66	c (0,0) x[22][27] = 0
128.20/109.66	c (0,0) x[22][28] = 0
128.20/109.66	c (0,0) x[22][29] = 0
128.20/109.66	c (0,0) x[22][30] = 0
128.20/109.66	c (0,0) x[22][31] = 0
128.20/109.66	c (0,0) x[23][0] = 0
128.20/109.66	c (0,0) x[23][1] = 0
128.20/109.66	c (0,0) x[23][2] = 0
128.20/109.66	c (0,0) x[23][3] = 0
128.20/109.66	c (0,0) x[23][4] = 0
128.20/109.66	c (0,0) x[23][5] = 0
128.20/109.66	c (0,0) x[23][6] = 0
128.20/109.66	c (0,0) x[23][7] = 0
128.20/109.66	c (0,0) x[23][8] = 0
128.20/109.66	c (0,0) x[23][9] = 0
128.20/109.66	c (0,0) x[23][10] = 1
128.20/109.66	c (0,0) x[23][11] = 1
128.20/109.66	c (0,0) x[23][12] = 1
128.20/109.66	c (0,0) x[23][13] = 0
128.20/109.66	c (0,0) x[23][14] = 0
128.20/109.66	c (0,0) x[23][15] = 0
128.20/109.66	c (0,0) x[23][16] = 0
128.20/109.66	c (0,0) x[23][17] = 0
128.20/109.66	c (0,0) x[23][18] = 0
128.20/109.66	c (0,0) x[23][19] = 1
128.20/109.66	c (0,0) x[23][20] = 0
128.20/109.66	c (0,0) x[23][21] = 1
128.20/109.66	c (0,0) x[23][22] = 1
128.20/109.66	c (0,0) x[23][23] = 0
128.20/109.66	c (0,0) x[23][24] = 0
128.20/109.66	c (0,0) x[23][25] = 0
128.20/109.66	c (0,0) x[23][26] = 0
128.20/109.66	c (0,0) x[23][27] = 0
128.20/109.66	c (0,0) x[23][28] = 0
128.20/109.66	c (0,0) x[23][29] = 0
128.20/109.66	c (0,0) x[23][30] = 0
128.20/109.66	c (0,0) x[23][31] = 0
128.20/109.66	c (0,0) x[24][0] = 0
128.20/109.66	c (0,0) x[24][1] = 0
128.20/109.66	c (0,0) x[24][2] = 0
128.20/109.66	c (0,0) x[24][3] = 0
128.20/109.66	c (0,0) x[24][4] = 0
128.20/109.66	c (0,0) x[24][5] = 0
128.20/109.66	c (0,0) x[24][6] = 0
128.20/109.66	c (0,0) x[24][7] = 0
128.20/109.66	c (0,0) x[24][8] = 0
128.20/109.66	c (0,0) x[24][9] = 0
128.20/109.66	c (0,0) x[24][10] = 0
128.20/109.66	c (0,0) x[24][11] = 1
128.20/109.66	c (0,0) x[24][12] = 1
128.20/109.66	c (0,0) x[24][13] = 1
128.20/109.66	c (0,0) x[24][14] = 0
128.20/109.66	c (0,0) x[24][15] = 0
128.20/109.66	c (0,0) x[24][16] = 0
128.20/109.66	c (0,0) x[24][17] = 1
128.20/109.66	c (0,0) x[24][18] = 1
128.20/109.66	c (0,0) x[24][19] = 1
128.20/109.66	c (0,0) x[24][20] = 1
128.20/109.66	c (0,0) x[24][21] = 1
128.20/109.66	c (0,0) x[24][22] = 0
128.20/109.66	c (0,0) x[24][23] = 0
128.20/109.66	c (0,0) x[24][24] = 0
128.20/109.66	c (0,0) x[24][25] = 0
128.20/109.66	c (0,0) x[24][26] = 0
128.20/109.66	c (0,0) x[24][27] = 0
128.20/109.66	c (0,0) x[24][28] = 0
128.20/109.66	c (0,0) x[24][29] = 0
128.20/109.66	c (0,0) x[24][30] = 0
128.20/109.66	c (0,0) x[24][31] = 0
128.20/109.66	c (0,0) x[25][0] = 0
128.20/109.66	c (0,0) x[25][1] = 0
128.20/109.66	c (0,0) x[25][2] = 0
128.20/109.66	c (0,0) x[25][3] = 0
128.20/109.66	c (0,0) x[25][4] = 0
128.20/109.66	c (0,0) x[25][5] = 0
128.20/109.66	c (0,0) x[25][6] = 0
128.20/109.66	c (0,0) x[25][7] = 0
128.20/109.66	c (0,0) x[25][8] = 0
128.20/109.66	c (0,0) x[25][9] = 0
128.20/109.66	c (0,0) x[25][10] = 0
128.20/109.66	c (0,0) x[25][11] = 1
128.20/109.66	c (0,0) x[25][12] = 1
128.20/109.66	c (0,0) x[25][13] = 1
128.20/109.66	c (0,0) x[25][14] = 1
128.20/109.66	c (0,0) x[25][15] = 1
128.20/109.66	c (0,0) x[25][16] = 1
128.20/109.66	c (0,0) x[25][17] = 1
128.20/109.66	c (0,0) x[25][18] = 1
128.20/109.66	c (0,0) x[25][19] = 1
128.20/109.66	c (0,0) x[25][20] = 1
128.20/109.66	c (0,0) x[25][21] = 0
128.20/109.66	c (0,0) x[25][22] = 0
128.20/109.66	c (0,0) x[25][23] = 0
128.20/109.66	c (0,0) x[25][24] = 0
128.20/109.66	c (0,0) x[25][25] = 0
128.20/109.66	c (0,0) x[25][26] = 0
128.20/109.66	c (0,0) x[25][27] = 0
128.20/109.66	c (0,0) x[25][28] = 0
128.20/109.66	c (0,0) x[25][29] = 0
128.20/109.66	c (0,0) x[25][30] = 0
128.20/109.66	c (0,0) x[25][31] = 0
128.20/109.66	c (0,0) x[26][0] = 0
128.20/109.66	c (0,0) x[26][1] = 0
128.20/109.66	c (0,0) x[26][2] = 0
128.20/109.66	c (0,0) x[26][3] = 0
128.20/109.66	c (0,0) x[26][4] = 0
128.20/109.66	c (0,0) x[26][5] = 0
128.20/109.66	c (0,0) x[26][6] = 0
128.20/109.66	c (0,0) x[26][7] = 0
128.20/109.66	c (0,0) x[26][8] = 0
128.20/109.66	c (0,0) x[26][9] = 0
128.20/109.66	c (0,0) x[26][10] = 0
128.20/109.66	c (0,0) x[26][11] = 1
128.20/109.66	c (0,0) x[26][12] = 1
128.20/109.66	c (0,0) x[26][13] = 1
128.20/109.66	c (0,0) x[26][14] = 1
128.20/109.66	c (0,0) x[26][15] = 1
128.20/109.66	c (0,0) x[26][16] = 1
128.20/109.66	c (0,0) x[26][17] = 1
128.20/109.66	c (0,0) x[26][18] = 1
128.20/109.66	c (0,0) x[26][19] = 1
128.20/109.66	c (0,0) x[26][20] = 1
128.20/109.66	c (0,0) x[26][21] = 0
128.20/109.66	c (0,0) x[26][22] = 0
128.20/109.66	c (0,0) x[26][23] = 0
128.20/109.66	c (0,0) x[26][24] = 0
128.20/109.66	c (0,0) x[26][25] = 0
128.20/109.66	c (0,0) x[26][26] = 0
128.20/109.66	c (0,0) x[26][27] = 0
128.20/109.66	c (0,0) x[26][28] = 0
128.20/109.66	c (0,0) x[26][29] = 0
128.20/109.66	c (0,0) x[26][30] = 0
128.20/109.66	c (0,0) x[26][31] = 0
128.20/109.66	c (0,0) x[27][0] = 0
128.20/109.66	c (0,0) x[27][1] = 0
128.20/109.66	c (0,0) x[27][2] = 0
128.20/109.66	c (0,0) x[27][3] = 0
128.20/109.66	c (0,0) x[27][4] = 0
128.20/109.66	c (0,0) x[27][5] = 0
128.20/109.66	c (0,0) x[27][6] = 0
128.20/109.66	c (0,0) x[27][7] = 0
128.20/109.66	c (0,0) x[27][8] = 0
128.20/109.66	c (0,0) x[27][9] = 0
128.20/109.66	c (0,0) x[27][10] = 1
128.20/109.66	c (0,0) x[27][11] = 1
128.20/109.66	c (0,0) x[27][12] = 1
128.20/109.66	c (0,0) x[27][13] = 1
128.20/109.66	c (0,0) x[27][14] = 1
128.20/109.66	c (0,0) x[27][15] = 1
128.20/109.66	c (0,0) x[27][16] = 1
128.20/109.66	c (0,0) x[27][17] = 1
128.20/109.66	c (0,0) x[27][18] = 1
128.20/109.66	c (0,0) x[27][19] = 1
128.20/109.66	c (0,0) x[27][20] = 1
128.20/109.66	c (0,0) x[27][21] = 1
128.20/109.66	c (0,0) x[27][22] = 0
128.20/109.66	c (0,0) x[27][23] = 0
128.20/109.66	c (0,0) x[27][24] = 0
128.20/109.66	c (0,0) x[27][25] = 0
128.20/109.66	c (0,0) x[27][26] = 0
128.20/109.66	c (0,0) x[27][27] = 0
128.20/109.66	c (0,0) x[27][28] = 0
128.20/109.66	c (0,0) x[27][29] = 0
128.20/109.66	c (0,0) x[27][30] = 0
128.20/109.66	c (0,0) x[27][31] = 0
128.20/109.66	c (0,0) x[28][0] = 0
128.20/109.66	c (0,0) x[28][1] = 0
128.20/109.66	c (0,0) x[28][2] = 0
128.20/109.66	c (0,0) x[28][3] = 0
128.20/109.66	c (0,0) x[28][4] = 0
128.20/109.66	c (0,0) x[28][5] = 0
128.20/109.66	c (0,0) x[28][6] = 0
128.20/109.66	c (0,0) x[28][7] = 0
128.20/109.66	c (0,0) x[28][8] = 1
128.20/109.66	c (0,0) x[28][9] = 1
128.20/109.66	c (0,0) x[28][10] = 1
128.20/109.66	c (0,0) x[28][11] = 0
128.20/109.66	c (0,0) x[28][12] = 0
128.20/109.66	c (0,0) x[28][13] = 0
128.20/109.66	c (0,0) x[28][14] = 0
128.20/109.66	c (0,0) x[28][15] = 0
128.20/109.66	c (0,0) x[28][16] = 0
128.20/109.66	c (0,0) x[28][17] = 0
128.20/109.66	c (0,0) x[28][18] = 0
128.20/109.66	c (0,0) x[28][19] = 0
128.20/109.66	c (0,0) x[28][20] = 0
128.20/109.66	c (0,0) x[28][21] = 1
128.20/109.66	c (0,0) x[28][22] = 1
128.20/109.66	c (0,0) x[28][23] = 1
128.20/109.66	c (0,0) x[28][24] = 0
128.20/109.66	c (0,0) x[28][25] = 0
128.20/109.66	c (0,0) x[28][26] = 0
128.20/109.66	c (0,0) x[28][27] = 0
128.20/109.66	c (0,0) x[28][28] = 0
128.20/109.66	c (0,0) x[28][29] = 0
128.20/109.66	c (0,0) x[28][30] = 0
128.20/109.66	c (0,0) x[28][31] = 0
128.20/109.66	c (0,0) x[29][0] = 0
128.20/109.66	c (0,0) x[29][1] = 0
128.20/109.66	c (0,0) x[29][2] = 0
128.20/109.66	c (0,0) x[29][3] = 0
128.20/109.66	c (0,0) x[29][4] = 0
128.20/109.66	c (0,0) x[29][5] = 0
128.20/109.66	c (0,0) x[29][6] = 1
128.20/109.66	c (0,0) x[29][7] = 1
128.20/109.66	c (0,0) x[29][8] = 1
128.20/109.66	c (0,0) x[29][9] = 0
128.20/109.66	c (0,0) x[29][10] = 0
128.20/109.66	c (0,0) x[29][11] = 0
128.20/109.66	c (0,0) x[29][12] = 0
128.20/109.66	c (0,0) x[29][13] = 0
128.20/109.66	c (0,0) x[29][14] = 0
128.20/109.66	c (0,0) x[29][15] = 0
128.20/109.66	c (0,0) x[29][16] = 0
128.20/109.66	c (0,0) x[29][17] = 0
128.20/109.66	c (0,0) x[29][18] = 0
128.20/109.66	c (0,0) x[29][19] = 0
128.20/109.66	c (0,0) x[29][20] = 0
128.20/109.66	c (0,0) x[29][21] = 0
128.20/109.66	c (0,0) x[29][22] = 0
128.20/109.66	c (0,0) x[29][23] = 1
128.20/109.66	c (0,0) x[29][24] = 1
128.20/109.66	c (0,0) x[29][25] = 1
128.20/109.66	c (0,0) x[29][26] = 0
128.20/109.66	c (0,0) x[29][27] = 0
128.20/109.66	c (0,0) x[29][28] = 0
128.20/109.66	c (0,0) x[29][29] = 0
128.20/109.66	c (0,0) x[29][30] = 0
128.20/109.66	c (0,0) x[29][31] = 0
128.20/109.66	c (0,0) x[30][0] = 0
128.20/109.66	c (0,0) x[30][1] = 0
128.20/109.66	c (0,0) x[30][2] = 0
128.20/109.66	c (0,0) x[30][3] = 0
128.20/109.66	c (0,0) x[30][4] = 0
128.20/109.66	c (0,0) x[30][5] = 1
128.20/109.66	c (0,0) x[30][6] = 1
128.20/109.66	c (0,0) x[30][7] = 1
128.20/109.66	c (0,0) x[30][8] = 1
128.20/109.66	c (0,0) x[30][9] = 1
128.20/109.66	c (0,0) x[30][10] = 1
128.20/109.66	c (0,0) x[30][11] = 1
128.20/109.66	c (0,0) x[30][12] = 1
128.20/109.66	c (0,0) x[30][13] = 1
128.20/109.66	c (0,0) x[30][14] = 1
128.20/109.66	c (0,0) x[30][15] = 1
128.20/109.66	c (0,0) x[30][16] = 1
128.20/109.66	c (0,0) x[30][17] = 1
128.20/109.66	c (0,0) x[30][18] = 1
128.20/109.66	c (0,0) x[30][19] = 1
128.20/109.66	c (0,0) x[30][20] = 1
128.20/109.66	c (0,0) x[30][21] = 1
128.20/109.66	c (0,0) x[30][22] = 1
128.20/109.66	c (0,0) x[30][23] = 1
128.20/109.66	c (0,0) x[30][24] = 1
128.20/109.66	c (0,0) x[30][25] = 1
128.20/109.66	c (0,0) x[30][26] = 1
128.20/109.66	c (0,0) x[30][27] = 0
128.20/109.66	c (0,0) x[30][28] = 0
128.20/109.66	c (0,0) x[30][29] = 0
128.20/109.66	c (0,0) x[30][30] = 0
128.20/109.66	c (0,0) x[30][31] = 0
128.20/109.66	c (0,0) x[31][0] = 0
128.20/109.66	c (0,0) x[31][1] = 0
128.20/109.66	c (0,0) x[31][2] = 0
128.20/109.66	c (0,0) x[31][3] = 0
128.20/109.66	c (0,0) x[31][4] = 0
128.20/109.66	c (0,0) x[31][5] = 1
128.20/109.66	c (0,0) x[31][6] = 1
128.20/109.66	c (0,0) x[31][7] = 1
128.20/109.66	c (0,0) x[31][8] = 1
128.20/109.66	c (0,0) x[31][9] = 1
128.20/109.66	c (0,0) x[31][10] = 1
128.20/109.66	c (0,0) x[31][11] = 1
128.20/109.66	c (0,0) x[31][12] = 1
128.20/109.66	c (0,0) x[31][13] = 1
128.20/109.66	c (0,0) x[31][14] = 1
128.20/109.66	c (0,0) x[31][15] = 1
128.20/109.66	c (0,0) x[31][16] = 1
128.20/109.66	c (0,0) x[31][17] = 1
128.20/109.66	c (0,0) x[31][18] = 1
128.20/109.66	c (0,0) x[31][19] = 1
128.20/109.66	c (0,0) x[31][20] = 1
128.20/109.66	c (0,0) x[31][21] = 1
128.20/109.66	c (0,0) x[31][22] = 1
128.20/109.66	c (0,0) x[31][23] = 1
128.20/109.66	c (0,0) x[31][24] = 1
128.20/109.66	c (0,0) x[31][25] = 1
128.20/109.66	c (0,0) x[31][26] = 1
128.20/109.66	c (0,0) x[31][27] = 0
128.20/109.66	c (0,0) x[31][28] = 0
128.20/109.66	c (0,0) x[31][29] = 0
128.20/109.66	c (0,0) x[31][30] = 0
128.20/109.66	c (0,0) x[31][31] = 0
128.20/109.66	s SATISFIABLE
128.20/109.66	v <instantiation>
128.20/109.66	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31]</list>
128.20/109.66	v     <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 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 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0</values>
128.20/109.66	v </instantiation>
128.20/109.66	c (0,0) Show results End
128.20/109.66	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
128.20/109.66	c (0,0) 0,0,STOP-AFTER(ALL)
128.20/109.66	c END-Prog: Thu Sep 12 15:30:04 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 (7614 MiB free)
  memory of node 1: 16384 MiB (7773 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388092-1568294934/watcher-4388092-1568294934 -o /tmp/evaluation-result-4388092-1568294934/solver-4388092-1568294934 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568286434-6491 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388092-1568294934.xml 

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

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

solver pid=9114, runsolver pid=9111

[startup+0.100091 s]*
/proc/loadavg: 2.00 1.99 2.05 3/234 9131
/proc/meminfo: memFree=15700736/32770624 swapFree=66959212/67108860
[pid=9114] ppid=9111 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9114/stat : 9114 (scop.sh) S 9111 9114 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405433604 115843072 349 33554432000 4194304 5098028 140734368779360 140734368776616 140148164063868 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34549760 140734368785251 140734368785520 140734368785520 140734368788429 0
/proc/9114/statm: 28282 349 296 221 0 87 0
[pid=9117] ppid=9114 vsize=15012696 memory=70140 CPUtime=0.12 cores=0,2,4,6
/proc/9117/stat : 9117 (java) S 9114 9114 5595 0 -1 1077944320 6825 0 0 0 10 2 0 0 20 0 15 0 405433605 15373000704 17535 33554432000 4194304 4196468 140737454577840 140737454560384 140126762405623 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
/proc/9117/statm: 3753174 17535 2923 1 0 3715579 0
[pid=9117/tid=9118] ppid=9114 vsize=15012696 memory=-2843876188059649182 CPUtime=0.09 cores=0,2,4,6
/proc/9117/task/9118/stat : 9118 (java) R 9114 9114 5595 0 -1 4202560 4684 0 0 0 7 2 0 0 20 0 15 0 405433605 15373000704 17667 33554432000 4194304 4196468 140737454577840 140126734199528 140126746486110 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9119] ppid=9114 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9119/stat : 9119 (java) S 9114 9114 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405433607 15373000704 17667 33554432000 4194304 4196468 140737454577840 140126766647824 140126762415829 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9120] ppid=9114 vsize=15012696 memory=140454563227264 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9120/stat : 9120 (java) S 9114 9114 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405433607 15373000704 17667 33554432000 4194304 4196468 140737454577840 140126597896848 140126762415829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9121] ppid=9114 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9121/stat : 9121 (java) S 9114 9114 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405433607 15373000704 17667 33554432000 4194304 4196468 140737454577840 140126222047504 140126762415829 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9122] ppid=9114 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9122/stat : 9122 (java) S 9114 9114 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405433607 15373000704 17667 33554432000 4194304 4196468 140737454577840 140126220994960 140126762415829 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9123] ppid=9114 vsize=15012696 memory=140454563227264 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9123/stat : 9123 (java) S 9114 9114 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405433608 15373000704 17667 33554432000 4194304 4196468 140737454577840 140125598698224 140126762416770 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9124] ppid=9114 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9124/stat : 9124 (java) S 9114 9114 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405433609 15373000704 17667 33554432000 4194304 4196468 140737454577840 140125388400288 140126762415829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9125] ppid=9114 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9125/stat : 9125 (java) S 9114 9114 5595 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405433609 15373000704 17667 33554432000 4194304 4196468 140737454577840 140125254178032 140126762415829 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9126] ppid=9114 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9126/stat : 9126 (java) S 9114 9114 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405433611 15373000704 17667 33554432000 4194304 4196468 140737454577840 140124879673808 140126762424219 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9127] ppid=9114 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9127/stat : 9127 (java) S 9114 9114 5595 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 15 0 405433611 15373000704 17667 33554432000 4194304 4196468 140737454577840 140125597645040 140126762416770 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9128] ppid=9114 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9128/stat : 9128 (java) S 9114 9114 5595 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 15 0 405433611 15373000704 17667 33554432000 4194304 4196468 140737454577840 140125596592496 140126762416770 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9129] ppid=9114 vsize=15012696 memory=140454563227264 CPUtime=0.01 cores=0,2,4,6
/proc/9117/task/9129/stat : 9129 (java) R 9114 9114 5595 0 -1 4202560 471 0 0 0 1 0 0 0 20 0 15 0 405433611 15373000704 17667 33554432000 4194304 4196468 140737454577840 140125595536696 140126762426970 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9130] ppid=9114 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9130/stat : 9130 (java) S 9114 9114 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405433611 15373000704 17667 33554432000 4194304 4196468 140737454577840 140124381768032 140126762415829 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9131] ppid=9114 vsize=15012696 memory=140454563227264 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9131/stat : 9131 (java) S 9114 9114 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405433612 15373000704 17667 33554432000 4194304 4196468 140737454577840 140125594487856 140126762416770 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 71536 KiB

[startup+0.210884 s]*
/proc/loadavg: 2.00 1.99 2.05 3/234 9131
/proc/meminfo: memFree=15681512/32770624 swapFree=66959212/67108860
[pid=9114] ppid=9111 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9114/stat : 9114 (scop.sh) S 9111 9114 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405433604 115843072 349 33554432000 4194304 5098028 140734368779360 140734368776616 140148164063868 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34549760 140734368785251 140734368785520 140734368785520 140734368788429 0
/proc/9114/statm: 28282 349 296 221 0 87 0
[pid=9117] ppid=9114 vsize=15012696 memory=85524 CPUtime=0.25 cores=0,2,4,6
/proc/9117/stat : 9117 (java) S 9114 9114 5595 0 -1 1077944320 12002 0 0 0 22 3 0 0 20 0 15 0 405433605 15373000704 21381 33554432000 4194304 4196468 140737454577840 140737454560384 140126762405623 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
/proc/9117/statm: 3753174 21381 2927 1 0 3715579 0
[pid=9117/tid=9118] ppid=9114 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/9117/task/9118/stat : 9118 (java) R 9114 9114 5595 0 -1 4202560 9670 0 0 0 17 3 0 0 20 0 15 0 405433605 15373000704 21381 33554432000 4194304 4196468 140737454577840 140126734205008 140126762427549 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9119] ppid=9114 vsize=15012696 memory=397 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9119/stat : 9119 (java) S 9114 9114 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405433607 15373000704 21381 33554432000 4194304 4196468 140737454577840 140126766647824 140126762415829 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9120] ppid=9114 vsize=15012696 memory=140454563238231 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9120/stat : 9120 (java) S 9114 9114 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405433607 15373000704 21381 33554432000 4194304 4196468 140737454577840 140126597896848 140126762415829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9121] ppid=9114 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9121/stat : 9121 (java) S 9114 9114 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405433607 15373000704 21381 33554432000 4194304 4196468 140737454577840 140126222047504 140126762415829 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9122] ppid=9114 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9122/stat : 9122 (java) S 9114 9114 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405433607 15373000704 21381 33554432000 4194304 4196468 140737454577840 140126220994960 140126762415829 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9123] ppid=9114 vsize=15012696 memory=140454563227264 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9123/stat : 9123 (java) S 9114 9114 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405433608 15373000704 21381 33554432000 4194304 4196468 140737454577840 140125598698224 140126762416770 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9124] ppid=9114 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9124/stat : 9124 (java) S 9114 9114 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405433609 15373000704 21381 33554432000 4194304 4196468 140737454577840 140125388400288 140126762415829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9125] ppid=9114 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9125/stat : 9125 (java) S 9114 9114 5595 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405433609 15373000704 21381 33554432000 4194304 4196468 140737454577840 140125254178032 140126762415829 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9126] ppid=9114 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9126/stat : 9126 (java) S 9114 9114 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405433611 15373000704 21381 33554432000 4194304 4196468 140737454577840 140124879673808 140126762424219 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9127] ppid=9114 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9127/stat : 9127 (java) S 9114 9114 5595 0 -1 1077944384 197 0 0 0 0 0 0 0 20 0 15 0 405433611 15373000704 21381 33554432000 4194304 4196468 140737454577840 140125597645040 140126762416770 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9128] ppid=9114 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9128/stat : 9128 (java) S 9114 9114 5595 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 15 0 405433611 15373000704 21381 33554432000 4194304 4196468 140737454577840 140125596592496 140126762416770 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9129] ppid=9114 vsize=15012696 memory=140454563227264 CPUtime=0.02 cores=0,2,4,6
/proc/9117/task/9129/stat : 9129 (java) S 9114 9114 5595 0 -1 1077944384 498 0 0 0 2 0 0 0 20 0 15 0 405433611 15373000704 21381 33554432000 4194304 4196468 140737454577840 140125595539440 140126762416770 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9130] ppid=9114 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9130/stat : 9130 (java) S 9114 9114 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405433611 15373000704 21381 33554432000 4194304 4196468 140737454577840 140124381768032 140126762415829 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9131] ppid=9114 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9131/stat : 9131 (java) S 9114 9114 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405433612 15373000704 21381 33554432000 4194304 4196468 140737454577840 140125594487856 140126762416770 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 86920 KiB

[startup+0.310527 s]*
/proc/loadavg: 2.00 1.99 2.05 3/234 9131
/proc/meminfo: memFree=15678472/32770624 swapFree=66959212/67108860
[pid=9114] ppid=9111 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9114/stat : 9114 (scop.sh) S 9111 9114 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405433604 115843072 349 33554432000 4194304 5098028 140734368779360 140734368776616 140148164063868 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34549760 140734368785251 140734368785520 140734368785520 140734368788429 0
/proc/9114/statm: 28282 349 296 221 0 87 0
[pid=9117] ppid=9114 vsize=15012696 memory=89696 CPUtime=0.43 cores=0,2,4,6
/proc/9117/stat : 9117 (java) S 9114 9114 5595 0 -1 1077944320 12951 0 0 0 39 4 0 0 20 0 15 0 405433605 15373000704 22424 33554432000 4194304 4196468 140737454577840 140737454560384 140126762405623 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
/proc/9117/statm: 3753174 22424 3059 1 0 3715579 0
[pid=9117/tid=9118] ppid=9114 vsize=15012696 memory=8112282956445269571 CPUtime=0.3 cores=0,2,4,6
/proc/9117/task/9118/stat : 9118 (java) R 9114 9114 5595 0 -1 4202560 10350 0 0 0 27 3 0 0 20 0 15 0 405433605 15373000704 22424 33554432000 4194304 4196468 140737454577840 140126734235696 140126742681306 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9119] ppid=9114 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9119/stat : 9119 (java) S 9114 9114 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405433607 15373000704 22424 33554432000 4194304 4196468 140737454577840 140126766647824 140126762415829 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9120] ppid=9114 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9120/stat : 9120 (java) S 9114 9114 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405433607 15373000704 22424 33554432000 4194304 4196468 140737454577840 140126597896848 140126762415829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9121] ppid=9114 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9121/stat : 9121 (java) S 9114 9114 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405433607 15373000704 22424 33554432000 4194304 4196468 140737454577840 140126222047504 140126762415829 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9122] ppid=9114 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9122/stat : 9122 (java) S 9114 9114 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405433607 15373000704 22424 33554432000 4194304 4196468 140737454577840 140126220994960 140126762415829 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9123] ppid=9114 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9123/stat : 9123 (java) S 9114 9114 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405433608 15373000704 22424 33554432000 4194304 4196468 140737454577840 140125598698224 140126762416770 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9124] ppid=9114 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9124/stat : 9124 (java) S 9114 9114 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405433609 15373000704 22424 33554432000 4194304 4196468 140737454577840 140125388400288 140126762415829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9125] ppid=9114 vsize=15012696 memory=8982046290584177472 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9125/stat : 9125 (java) S 9114 9114 5595 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405433609 15373000704 22424 33554432000 4194304 4196468 140737454577840 140125254178032 140126762415829 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9126] ppid=9114 vsize=15012696 memory=8325818968683490714 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9126/stat : 9126 (java) S 9114 9114 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405433611 15373000704 22424 33554432000 4194304 4196468 140737454577840 140124879673808 140126762424219 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9127] ppid=9114 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9117/task/9127/stat : 9127 (java) S 9114 9114 5595 0 -1 1077944384 290 0 0 0 2 0 0 0 20 0 15 0 405433611 15373000704 22424 33554432000 4194304 4196468 140737454577840 140125597645040 140126762416770 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9128] ppid=9114 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9117/task/9128/stat : 9128 (java) S 9114 9114 5595 0 -1 1077944384 352 0 0 0 2 0 0 0 20 0 15 0 405433611 15373000704 22424 33554432000 4194304 4196468 140737454577840 140125596592496 140126762416770 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9129] ppid=9114 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9117/task/9129/stat : 9129 (java) S 9114 9114 5595 0 -1 1077944384 609 0 0 0 7 0 0 0 20 0 15 0 405433611 15373000704 22424 33554432000 4194304 4196468 140737454577840 140125595539440 140126762416770 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9130] ppid=9114 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9130/stat : 9130 (java) S 9114 9114 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405433611 15373000704 22424 33554432000 4194304 4196468 140737454577840 140124381768032 140126762415829 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9131] ppid=9114 vsize=15012696 memory=3689073936868456239 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9131/stat : 9131 (java) S 9114 9114 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405433612 15373000704 22424 33554432000 4194304 4196468 140737454577840 140125594487856 140126762416770 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91092 KiB

[startup+0.701184 s]
/proc/loadavg: 2.00 1.99 2.05 3/234 9131
/proc/meminfo: memFree=15623752/32770624 swapFree=66959212/67108860
[pid=9114] ppid=9111 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9114/stat : 9114 (scop.sh) S 9111 9114 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405433604 115843072 349 33554432000 4194304 5098028 140734368779360 140734368776616 140148164063868 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34549760 140734368785251 140734368785520 140734368785520 140734368788429 0
/proc/9114/statm: 28282 349 296 221 0 87 0
[pid=9117] ppid=9114 vsize=15018968 memory=125804 CPUtime=1 cores=0,2,4,6
/proc/9117/stat : 9117 (java) S 9114 9114 5595 0 -1 1077944320 19845 0 0 0 94 6 0 0 20 0 15 0 405433605 15379423232 31451 33554432000 4194304 4196468 140737454577840 140737454560384 140126762405623 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
/proc/9117/statm: 3754742 31451 3183 1 0 3716091 0
[pid=9117/tid=9118] ppid=9114 vsize=15018968 memory=-7816663703405220396 CPUtime=0.67 cores=0,2,4,6
/proc/9117/task/9118/stat : 9118 (java) R 9114 9114 5595 0 -1 4202560 16750 0 0 0 62 5 0 0 20 0 15 0 405433605 15379423232 31451 33554432000 4194304 4196468 140737454577840 140126734236048 140126264472278 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9119] ppid=9114 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9119/stat : 9119 (java) S 9114 9114 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405433607 15379423232 31451 33554432000 4194304 4196468 140737454577840 140126766647824 140126762415829 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9120] ppid=9114 vsize=15018968 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9120/stat : 9120 (java) S 9114 9114 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405433607 15379423232 31451 33554432000 4194304 4196468 140737454577840 140126597896848 140126762415829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9121] ppid=9114 vsize=15018968 memory=37400 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9121/stat : 9121 (java) S 9114 9114 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405433607 15379423232 31451 33554432000 4194304 4196468 140737454577840 140126222047504 140126762415829 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9122] ppid=9114 vsize=15018968 memory=988 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9122/stat : 9122 (java) S 9114 9114 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405433607 15379423232 31451 33554432000 4194304 4196468 140737454577840 140126220994960 140126762415829 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9123] ppid=9114 vsize=15018968 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9123/stat : 9123 (java) S 9114 9114 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405433608 15379423232 31451 33554432000 4194304 4196468 140737454577840 140125598698224 140126762416770 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9124] ppid=9114 vsize=15018968 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9124/stat : 9124 (java) S 9114 9114 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405433609 15379423232 31451 33554432000 4194304 4196468 140737454577840 140125388400288 140126762415829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9125] ppid=9114 vsize=15018968 memory=580 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9125/stat : 9125 (java) S 9114 9114 5595 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405433609 15379423232 31451 33554432000 4194304 4196468 140737454577840 140125254178032 140126762415829 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9126] ppid=9114 vsize=15018968 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9126/stat : 9126 (java) S 9114 9114 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405433611 15379423232 31451 33554432000 4194304 4196468 140737454577840 140124879673808 140126762424219 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9127] ppid=9114 vsize=15018968 memory=10604 CPUtime=0.08 cores=0,2,4,6
/proc/9117/task/9127/stat : 9127 (java) R 9114 9114 5595 0 -1 4202560 524 0 0 0 8 0 0 0 20 0 15 0 405433611 15379423232 31451 33554432000 4194304 4196468 140737454577840 140125597645040 140126741666028 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9128] ppid=9114 vsize=15018968 memory=3360 CPUtime=0.07 cores=0,2,4,6
/proc/9117/task/9128/stat : 9128 (java) R 9114 9114 5595 0 -1 4202560 455 0 0 0 7 0 0 0 20 0 15 0 405433611 15379423232 31451 33554432000 4194304 4196468 140737454577840 140125596592496 140126745902407 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9129] ppid=9114 vsize=15018968 memory=776 CPUtime=0.15 cores=0,2,4,6
/proc/9117/task/9129/stat : 9129 (java) S 9114 9114 5595 0 -1 1077944384 761 0 0 0 15 0 0 0 20 0 15 0 405433611 15379423232 31451 33554432000 4194304 4196468 140737454577840 140125595539440 140126762416770 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9130] ppid=9114 vsize=15018968 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9130/stat : 9130 (java) S 9114 9114 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405433611 15379423232 31451 33554432000 4194304 4196468 140737454577840 140124381768032 140126762415829 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9131] ppid=9114 vsize=15018968 memory=5960 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9131/stat : 9131 (java) S 9114 9114 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405433612 15379423232 31451 33554432000 4194304 4196468 140737454577840 140125594487856 140126762416770 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 127200 KiB

[startup+1.5008 s]
/proc/loadavg: 2.00 1.99 2.05 5/234 9131
/proc/meminfo: memFree=15505216/32770624 swapFree=66959212/67108860
[pid=9114] ppid=9111 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9114/stat : 9114 (scop.sh) S 9111 9114 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405433604 115843072 349 33554432000 4194304 5098028 140734368779360 140734368776616 140148164063868 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34549760 140734368785251 140734368785520 140734368785520 140734368788429 0
/proc/9114/statm: 28282 349 296 221 0 87 0

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

/proc/9117/task/9120/stat : 9120 (java) S 9114 9114 5595 0 -1 1077944384 768 0 0 0 49 24 0 0 20 0 15 0 405433607 15385792512 1020969 33554432000 4194304 4196468 140737454577840 140126597896848 140126762415829 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9121] ppid=9114 vsize=15025188 memory=8112282956445269571 CPUtime=0.73 cores=0,2,4,6
/proc/9117/task/9121/stat : 9121 (java) S 9114 9114 5595 0 -1 1077944384 1442 0 0 0 49 24 0 0 20 0 15 0 405433607 15385792512 1020969 33554432000 4194304 4196468 140737454577840 140126222047504 140126762415829 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9122] ppid=9114 vsize=15025188 memory=4 CPUtime=0.73 cores=0,2,4,6
/proc/9117/task/9122/stat : 9122 (java) S 9114 9114 5595 0 -1 1077944384 1038 0 0 0 50 23 0 0 20 0 15 0 405433607 15385792512 1020969 33554432000 4194304 4196468 140737454577840 140126220994960 140126762415829 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9123] ppid=9114 vsize=15025188 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/9117/task/9123/stat : 9123 (java) S 9114 9114 5595 0 -1 1077944384 603 0 0 0 4 0 0 0 20 0 15 0 405433608 15385792512 1020969 33554432000 4194304 4196468 140737454577840 140125598698224 140126762416770 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9124] ppid=9114 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9124/stat : 9124 (java) S 9114 9114 5595 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 405433609 15385792512 1020969 33554432000 4194304 4196468 140737454577840 140125388400352 140126762415829 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9125] ppid=9114 vsize=15025188 memory=4083716 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9125/stat : 9125 (java) S 9114 9114 5595 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 405433609 15385792512 1020969 33554432000 4194304 4196468 140737454577840 140125254178048 140126762415829 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9126] ppid=9114 vsize=15025188 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9126/stat : 9126 (java) S 9114 9114 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405433611 15385792512 1020969 33554432000 4194304 4196468 140737454577840 140124879673808 140126762424219 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9127] ppid=9114 vsize=15025188 memory=1660 CPUtime=6.07 cores=0,2,4,6
/proc/9117/task/9127/stat : 9127 (java) R 9114 9114 5595 0 -1 4202560 14918 0 0 0 604 3 0 0 20 0 15 0 405433611 15385792512 1020969 33554432000 4194304 4196468 140737454577840 140125597645040 140126745793706 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9128] ppid=9114 vsize=15025188 memory=37400 CPUtime=4.83 cores=0,2,4,6
/proc/9117/task/9128/stat : 9128 (java) R 9114 9114 5595 0 -1 4202560 10637 0 0 0 482 1 0 0 20 0 15 0 405433611 15385792512 1020969 33554432000 4194304 4196468 140737454577840 140125596592496 140126743926592 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9129] ppid=9114 vsize=15025188 memory=988 CPUtime=1.04 cores=0,2,4,6
/proc/9117/task/9129/stat : 9129 (java) S 9114 9114 5595 0 -1 1077944384 5638 0 0 0 102 2 0 0 20 0 15 0 405433611 15385792512 1020969 33554432000 4194304 4196468 140737454577840 140125595539440 140126762416770 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9130] ppid=9114 vsize=15025188 memory=4083716 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9130/stat : 9130 (java) S 9114 9114 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405433611 15385792512 1020969 33554432000 4194304 4196468 140737454577840 140124381768032 140126762415829 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9131] ppid=9114 vsize=15025188 memory=3620 CPUtime=0.06 cores=0,2,4,6
/proc/9117/task/9131/stat : 9131 (java) S 9114 9114 5595 0 -1 1077944384 920 0 0 0 3 3 0 0 20 0 15 0 405433612 15385792512 1020969 33554432000 4194304 4196468 140737454577840 140125594487856 140126762416770 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
Current children cumulated CPU time: 119.76 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 4085272 KiB

[startup+107.201 s]
/proc/loadavg: 2.08 2.02 2.05 3/234 9137
/proc/meminfo: memFree=11662652/32770624 swapFree=66959212/67108860
[pid=9114] ppid=9111 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/9114/stat : 9114 (scop.sh) S 9111 9114 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405433604 115843072 349 33554432000 4194304 5098028 140734368779360 140734368776616 140148164063868 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34549760 140734368785251 140734368785520 140734368785520 140734368788429 0
/proc/9114/statm: 28282 349 296 221 0 87 0
[pid=9117] ppid=9114 vsize=15025188 memory=4083944 CPUtime=122.66 cores=0,2,4,6
/proc/9117/stat : 9117 (java) S 9114 9114 5595 0 -1 1077944320 70288 0 0 0 12103 163 0 0 20 0 15 0 405433605 15385792512 1020986 33554432000 4194304 4196468 140737454577840 140737454560384 140126762405623 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
/proc/9117/statm: 3756297 1020986 3287 1 0 3717627 0
[pid=9117/tid=9118] ppid=9114 vsize=15025188 memory=8112282956445269571 CPUtime=106.34 cores=0,2,4,6
/proc/9117/task/9118/stat : 9118 (java) R 9114 9114 5595 0 -1 4202560 29519 0 0 0 10578 56 0 0 20 0 15 0 405433605 15385792512 1020986 33554432000 4194304 4196468 140737454577840 140126734241248 140126270775504 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9119] ppid=9114 vsize=15025188 memory=4083716 CPUtime=0.7 cores=0,2,4,6
/proc/9117/task/9119/stat : 9119 (java) S 9114 9114 5595 0 -1 1077944384 784 0 0 0 47 23 0 0 20 0 15 0 405433607 15385792512 1020986 33554432000 4194304 4196468 140737454577840 140126766647824 140126762415829 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9120] ppid=9114 vsize=15025188 memory=37400 CPUtime=0.73 cores=0,2,4,6
/proc/9117/task/9120/stat : 9120 (java) S 9114 9114 5595 0 -1 1077944384 768 0 0 0 49 24 0 0 20 0 15 0 405433607 15385792512 1020986 33554432000 4194304 4196468 140737454577840 140126597896848 140126762415829 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9121] ppid=9114 vsize=15025188 memory=988 CPUtime=0.73 cores=0,2,4,6
/proc/9117/task/9121/stat : 9121 (java) S 9114 9114 5595 0 -1 1077944384 1442 0 0 0 49 24 0 0 20 0 15 0 405433607 15385792512 1020986 33554432000 4194304 4196468 140737454577840 140126222047504 140126762415829 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9122] ppid=9114 vsize=15025188 memory=2008 CPUtime=0.73 cores=0,2,4,6
/proc/9117/task/9122/stat : 9122 (java) S 9114 9114 5595 0 -1 1077944384 1038 0 0 0 50 23 0 0 20 0 15 0 405433607 15385792512 1020986 33554432000 4194304 4196468 140737454577840 140126220994960 140126762415829 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9123] ppid=9114 vsize=15025188 memory=8112282956445269571 CPUtime=0.04 cores=0,2,4,6
/proc/9117/task/9123/stat : 9123 (java) S 9114 9114 5595 0 -1 1077944384 609 0 0 0 4 0 0 0 20 0 15 0 405433608 15385792512 1020986 33554432000 4194304 4196468 140737454577840 140125598698224 140126762416770 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9124] ppid=9114 vsize=15025188 memory=-8707038579349950309 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9124/stat : 9124 (java) S 9114 9114 5595 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 405433609 15385792512 1020986 33554432000 4194304 4196468 140737454577840 140125388400352 140126762415829 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9125] ppid=9114 vsize=15025188 memory=1216 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9125/stat : 9125 (java) S 9114 9114 5595 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 405433609 15385792512 1020986 33554432000 4194304 4196468 140737454577840 140125254178048 140126762415829 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9126] ppid=9114 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9126/stat : 9126 (java) S 9114 9114 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405433611 15385792512 1020986 33554432000 4194304 4196468 140737454577840 140124879673808 140126762424219 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9127] ppid=9114 vsize=15025188 memory=179598352467772 CPUtime=6.72 cores=0,2,4,6
/proc/9117/task/9127/stat : 9127 (java) S 9114 9114 5595 0 -1 1077944384 16048 0 0 0 669 3 0 0 20 0 15 0 405433611 15385792512 1020986 33554432000 4194304 4196468 140737454577840 140125597645040 140126762416770 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9128] ppid=9114 vsize=15025188 memory=1396 CPUtime=5.4 cores=0,2,4,6
/proc/9117/task/9128/stat : 9128 (java) S 9114 9114 5595 0 -1 1077944384 12036 0 0 0 539 1 0 0 20 0 15 0 405433611 15385792512 1020986 33554432000 4194304 4196468 140737454577840 140125596592496 140126762416770 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9129] ppid=9114 vsize=15025188 memory=4083716 CPUtime=1.11 cores=0,2,4,6
/proc/9117/task/9129/stat : 9129 (java) S 9114 9114 5595 0 -1 1077944384 5776 0 0 0 109 2 0 0 20 0 15 0 405433611 15385792512 1020986 33554432000 4194304 4196468 140737454577840 140125595539440 140126762416770 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9130] ppid=9114 vsize=15025188 memory=6940425714476859492 CPUtime=0 cores=0,2,4,6
/proc/9117/task/9130/stat : 9130 (java) S 9114 9114 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405433611 15385792512 1020986 33554432000 4194304 4196468 140737454577840 140124381768032 140126762415829 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
[pid=9117/tid=9131] ppid=9114 vsize=15025188 memory=6944656425123094137 CPUtime=0.06 cores=0,2,4,6
/proc/9117/task/9131/stat : 9131 (java) S 9114 9114 5595 0 -1 1077944384 920 0 0 0 3 3 0 0 20 0 15 0 405433612 15385792512 1020986 33554432000 4194304 4196468 140737454577840 140125594487856 140126762416770 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140737454584618 140737454584986 140737454584986 140737454587855 0
Current children cumulated CPU time: 122.66 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 4085340 KiB

[startup+108.8 s]
/proc/loadavg: 2.08 2.02 2.05 5/235 9145
/proc/meminfo: memFree=11662024/32770624 swapFree=66959212/67108860
[pid=9114] ppid=9111 vsize=113128 memory=1476 CPUtime=125.9 cores=0,2,4,6
/proc/9114/stat : 9114 (scop.sh) S 9111 9114 5595 0 -1 4202496 583 73172 0 0 0 0 12421 169 20 0 1 0 405433604 115843072 369 33554432000 4194304 5098028 140734368779360 140734368776104 140148164063868 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34549760 140734368785251 140734368785520 140734368785520 140734368788429 0
/proc/9114/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 125.9 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

[startup+109.201 s]
/proc/loadavg: 2.08 2.02 2.05 3/235 9160
/proc/meminfo: memFree=15676464/32770624 swapFree=66959212/67108860
[pid=9114] ppid=9111 vsize=113128 memory=1476 CPUtime=125.9 cores=0,2,4,6
/proc/9114/stat : 9114 (scop.sh) S 9111 9114 5595 0 -1 4202496 583 73172 0 0 0 0 12421 169 20 0 1 0 405433604 115843072 369 33554432000 4194304 5098028 140734368779360 140734368776104 140148164063868 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34549760 140734368785251 140734368785520 140734368785520 140734368788429 0
/proc/9114/statm: 28282 369 311 221 0 87 0
[pid=9146] ppid=9114 vsize=7408652 memory=101824 CPUtime=1.08 cores=0,2,4,6
/proc/9146/stat : 9146 (java) S 9114 9114 5595 0 -1 1077944320 20172 0 0 0 101 7 0 0 20 0 15 0 405444453 7586459648 25456 33554432000 4194304 4196468 140722437120624 140722437103168 140475125161719 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
/proc/9146/statm: 1852163 25456 3151 1 0 1814042 0
[pid=9146/tid=9147] ppid=9114 vsize=7408652 memory=2584 CPUtime=0.69 cores=0,2,4,6
/proc/9146/task/9147/stat : 9147 (java) R 9114 9114 5595 0 -1 4202560 16861 0 0 0 63 6 0 0 20 0 15 0 405444453 7586459648 25456 33554432000 4194304 4196468 140722437120624 140475096987808 140474631090877 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
[pid=9146/tid=9148] ppid=9114 vsize=7408652 memory=2904 CPUtime=0 cores=0,2,4,6
/proc/9146/task/9148/stat : 9148 (java) S 9114 9114 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405444454 7586459648 25456 33554432000 4194304 4196468 140722437120624 140475129404304 140475125171925 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
[pid=9146/tid=9149] ppid=9114 vsize=7408652 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/9146/task/9149/stat : 9149 (java) S 9114 9114 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405444454 7586459648 25456 33554432000 4194304 4196468 140722437120624 140474610780944 140475125171925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
[pid=9146/tid=9150] ppid=9114 vsize=7408652 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/9146/task/9150/stat : 9150 (java) S 9114 9114 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405444454 7586459648 25456 33554432000 4194304 4196468 140722437120624 140474609728656 140475125171925 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
[pid=9146/tid=9151] ppid=9114 vsize=7408652 memory=3340 CPUtime=0 cores=0,2,4,6
/proc/9146/task/9151/stat : 9151 (java) S 9114 9114 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405444454 7586459648 25456 33554432000 4194304 4196468 140722437120624 140474608675856 140475125171925 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
[pid=9146/tid=9152] ppid=9114 vsize=7408652 memory=4083888 CPUtime=0 cores=0,2,4,6
/proc/9146/task/9152/stat : 9152 (java) S 9114 9114 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405444456 7586459648 25456 33554432000 4194304 4196468 140722437120624 140474571634800 140475125172866 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
[pid=9146/tid=9153] ppid=9114 vsize=7408652 memory=4083716 CPUtime=0 cores=0,2,4,6
/proc/9146/task/9153/stat : 9153 (java) S 9114 9114 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405444456 7586459648 25456 33554432000 4194304 4196468 140722437120624 140473951839008 140475125171925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
[pid=9146/tid=9154] ppid=9114 vsize=7408652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9146/task/9154/stat : 9154 (java) S 9114 9114 5595 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405444457 7586459648 25456 33554432000 4194304 4196468 140722437120624 140473817617520 140475125171925 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
[pid=9146/tid=9155] ppid=9114 vsize=7408652 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/9146/task/9155/stat : 9155 (java) S 9114 9114 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405444459 7586459648 25456 33554432000 4194304 4196468 140722437120624 140473443113040 140475125180315 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
[pid=9146/tid=9156] ppid=9114 vsize=7408652 memory=6944656592455359580 CPUtime=0.1 cores=0,2,4,6
/proc/9146/task/9156/stat : 9156 (java) R 9114 9114 5595 0 -1 4202560 863 0 0 0 10 0 0 0 20 0 15 0 405444459 7586459648 25456 33554432000 4194304 4196468 140722437120624 140474570563752 140475106705923 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
[pid=9146/tid=9157] ppid=9114 vsize=7408652 memory=-9106410205896556485 CPUtime=0.08 cores=0,2,4,6
/proc/9146/task/9157/stat : 9157 (java) R 9114 9114 5595 0 -1 4202560 376 0 0 0 8 0 0 0 20 0 15 0 405444459 7586459648 25456 33554432000 4194304 4196468 140722437120624 140474569529968 140475105862016 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
[pid=9146/tid=9158] ppid=9114 vsize=7408652 memory=-8130577827046002024 CPUtime=0.18 cores=0,2,4,6
/proc/9146/task/9158/stat : 9158 (java) S 9114 9114 5595 0 -1 1077944384 730 0 0 0 18 0 0 0 20 0 15 0 405444459 7586459648 25456 33554432000 4194304 4196468 140722437120624 140474568477552 140475125172866 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
[pid=9146/tid=9159] ppid=9114 vsize=7408652 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/9146/task/9159/stat : 9159 (java) S 9114 9114 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405444460 7586459648 25456 33554432000 4194304 4196468 140722437120624 140472945208288 140475125171925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
[pid=9146/tid=9160] ppid=9114 vsize=7408652 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/9146/task/9160/stat : 9160 (java) S 9114 9114 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405444460 7586459648 25456 33554432000 4194304 4196468 140722437120624 140474567424432 140475125172866 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
Current children cumulated CPU time: 126.98 s
Current children cumulated vsize: 7521780 KiB
Current children cumulated memory: 103300 KiB

[startup+109.601 s]
/proc/loadavg: 2.08 2.02 2.05 3/235 9160
/proc/meminfo: memFree=15676464/32770624 swapFree=66959212/67108860
[pid=9114] ppid=9111 vsize=113128 memory=1476 CPUtime=125.9 cores=0,2,4,6
/proc/9114/stat : 9114 (scop.sh) S 9111 9114 5595 0 -1 4202496 583 73172 0 0 0 0 12421 169 20 0 1 0 405433604 115843072 369 33554432000 4194304 5098028 140734368779360 140734368776104 140148164063868 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34549760 140734368785251 140734368785520 140734368785520 140734368788429 0
/proc/9114/statm: 28282 369 311 221 0 87 0
[pid=9146] ppid=9114 vsize=7937364 memory=137820 CPUtime=2.3 cores=0,2,4,6
/proc/9146/stat : 9146 (java) S 9114 9114 5595 0 -1 1077944320 23411 2546 0 0 217 9 4 0 20 0 17 0 405444453 8127860736 34455 33554432000 4194304 4196468 140722437120624 140722437103168 140475125161719 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
/proc/9146/statm: 1984341 34455 3232 1 0 1945685 0
[pid=9146/tid=9147] ppid=9114 vsize=7937364 memory=1556 CPUtime=1.03 cores=0,2,4,6
/proc/9146/task/9147/stat : 9147 (java) R 9114 9114 5595 0 -1 4202560 18243 2546 0 0 93 6 4 0 20 0 17 0 405444453 8127860736 34455 33554432000 4194304 4196468 140722437120624 140475097000032 140474629839360 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
[pid=9146/tid=9148] ppid=9114 vsize=7937364 memory=8112282956445269571 CPUtime=0.04 cores=0,2,4,6
/proc/9146/task/9148/stat : 9148 (java) S 9114 9114 5595 0 -1 1077944384 2 2546 0 0 0 0 4 0 20 0 17 0 405444454 8127860736 34455 33554432000 4194304 4196468 140722437120624 140475129404304 140475125171925 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
[pid=9146/tid=9149] ppid=9114 vsize=7937364 memory=5960 CPUtime=0.04 cores=0,2,4,6
/proc/9146/task/9149/stat : 9149 (java) S 9114 9114 5595 0 -1 1077944384 2 2546 0 0 0 0 4 0 20 0 17 0 405444454 8127860736 34455 33554432000 4194304 4196468 140722437120624 140474610780944 140475125171925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
[pid=9146/tid=9150] ppid=9114 vsize=7937364 memory=1060 CPUtime=0.04 cores=0,2,4,6
/proc/9146/task/9150/stat : 9150 (java) S 9114 9114 5595 0 -1 1077944384 2 2546 0 0 0 0 4 0 20 0 17 0 405444454 8127860736 34455 33554432000 4194304 4196468 140722437120624 140474609728656 140475125171925 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
[pid=9146/tid=9151] ppid=9114 vsize=7937364 memory=2828 CPUtime=0.04 cores=0,2,4,6
/proc/9146/task/9151/stat : 9151 (java) S 9114 9114 5595 0 -1 1077944384 1 2546 0 0 0 0 4 0 20 0 17 0 405444454 8127860736 34455 33554432000 4194304 4196468 140722437120624 140474608675856 140475125171925 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
[pid=9146/tid=9152] ppid=9114 vsize=7937364 memory=1396 CPUtime=0.04 cores=0,2,4,6
/proc/9146/task/9152/stat : 9152 (java) S 9114 9114 5595 0 -1 1077944384 5 2546 0 0 0 0 4 0 20 0 17 0 405444456 8127860736 34455 33554432000 4194304 4196468 140722437120624 140474571634800 140475125172866 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
[pid=9146/tid=9153] ppid=9114 vsize=7937364 memory=4086024 CPUtime=0.04 cores=0,2,4,6
/proc/9146/task/9153/stat : 9153 (java) S 9114 9114 5595 0 -1 1077944384 13 2546 0 0 0 0 4 0 20 0 17 0 405444456 8127860736 34455 33554432000 4194304 4196468 140722437120624 140473951839008 140475125171925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
[pid=9146/tid=9154] ppid=9114 vsize=7937364 memory=14004 CPUtime=0.04 cores=0,2,4,6
/proc/9146/task/9154/stat : 9154 (java) S 9114 9114 5595 0 -1 1077944384 21 2546 0 0 0 0 4 0 20 0 17 0 405444457 8127860736 34455 33554432000 4194304 4196468 140722437120624 140473817617520 140475125171925 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
[pid=9146/tid=9155] ppid=9114 vsize=7937364 memory=19972 CPUtime=0.04 cores=0,2,4,6
/proc/9146/task/9155/stat : 9155 (java) S 9114 9114 5595 0 -1 1077944384 3 2546 0 0 0 0 4 0 20 0 17 0 405444459 8127860736 34455 33554432000 4194304 4196468 140722437120624 140473443113040 140475125180315 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
[pid=9146/tid=9156] ppid=9114 vsize=7937364 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/9146/task/9156/stat : 9156 (java) R 9114 9114 5595 0 -1 4202560 1753 2546 0 0 42 0 4 0 20 0 17 0 405444459 8127860736 34455 33554432000 4194304 4196468 140722437120624 140474570568520 140475102782064 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
[pid=9146/tid=9157] ppid=9114 vsize=7937364 memory=2580 CPUtime=0.36 cores=0,2,4,6
/proc/9146/task/9157/stat : 9157 (java) R 9114 9114 5595 0 -1 4202560 697 2546 0 0 32 0 4 0 20 0 17 0 405444459 8127860736 34455 33554432000 4194304 4196468 140722437120624 140474569523032 140475109555889 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
[pid=9146/tid=9158] ppid=9114 vsize=7937364 memory=1760 CPUtime=0.42 cores=0,2,4,6
/proc/9146/task/9158/stat : 9158 (java) S 9114 9114 5595 0 -1 1077944384 1232 2546 0 0 38 0 4 0 20 0 17 0 405444459 8127860736 34455 33554432000 4194304 4196468 140722437120624 140474568477552 140475125172866 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
[pid=9146/tid=9159] ppid=9114 vsize=7937364 memory=111636 CPUtime=0.04 cores=0,2,4,6
/proc/9146/task/9159/stat : 9159 (java) S 9114 9114 5595 0 -1 1077944384 3 2546 0 0 0 0 4 0 20 0 17 0 405444460 8127860736 34455 33554432000 4194304 4196468 140722437120624 140472945208288 140475125171925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
[pid=9146/tid=9160] ppid=9114 vsize=7937364 memory=800 CPUtime=0.04 cores=0,2,4,6
/proc/9146/task/9160/stat : 9160 (java) S 9114 9114 5595 0 -1 1077944384 1 2546 0 0 0 0 4 0 20 0 17 0 405444460 8127860736 34455 33554432000 4194304 4196468 140722437120624 140474567424432 140475125172866 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24444928 140722437129212 140722437129370 140722437129370 140722437132239 0
Current children cumulated CPU time: 128.2 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 139296 KiB

Child status: 0
Real time (s): 109.683
CPU time (s): 128.484
CPU user time (s): 126.659
CPU system time (s): 1.82547
CPU usage (%): 117.141
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 4088840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 126.659
system time used= 1.82547
maximum resident set size= 4088140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101748
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9866
involuntary context switches= 514


# summary of solver processes directly reported to runsolver:
#   pid: 9114
#   total CPU time (s): 128.484
#   total CPU user time (s): 126.659
#   total CPU system time (s): 1.82547

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.705082 second user time and 1.17112 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-12 15:28:14
IDJOB=4388092
IDBENCH=134028
IDSOLVER=2826
FILE ID=node124/4388092-1568294934
RUNJOBID= node124-1568286434-6491
PBS_JOBID= 21701080
Free space on /tmp= 52812 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/Nonogram/Nonogram-table-s1/Nonogram-020-table.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-4388092-1568294934/watcher-4388092-1568294934 -o /tmp/evaluation-result-4388092-1568294934/solver-4388092-1568294934 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568286434-6491 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388092-1568294934.xml

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

MD5SUM BENCH= 2abbea49d072b23f7e0e95d09a8d20ca
RANDOM SEED=782293447

node124.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
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:        15757188 kB
MemAvailable:   30199156 kB
Buffers:          137604 kB
Cached:         14401088 kB
SwapCached:        45868 kB
Active:          2916888 kB
Inactive:       13283992 kB
Active(anon):    1617320 kB
Inactive(anon):    86644 kB
Active(file):    1299568 kB
Inactive(file): 13197348 kB
Unevictable:      108624 kB
Mlocked:          108624 kB
SwapTotal:      67108860 kB
SwapFree:       66959212 kB
Dirty:             67588 kB
Writeback:             0 kB
AnonPages:       1802904 kB
Mapped:            55644 kB
Shmem:             32744 kB
Slab:             401984 kB
SReclaimable:     373512 kB
SUnreclaim:        28472 kB
KernelStack:        3808 kB
PageTables:         9212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    7748732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    755712 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 52792 MiB
End job on node124 at 2019-09-12 15:30:04