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-10534-serial-file.bin HOME/instance-4387705-1568289269.xml
0.66/0.53
0.66/0.53 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.53
0.66/0.55 c BEGIN-Prog: Thu Sep 12 13:53:49 CEST 2019
0.66/0.55 c PID: 10537
0.66/0.55 c IP: 172.20.3.140
0.66/0.55 c HOST: node140.alineos.net
0.66/0.56 c (0,0) Parsing Begin
4.54/2.44 c (1,1) Parsing End
4.54/2.45 c (1,1) CSP: 1000 int (0 aux), 0 bool (0 aux), 1002 ctr, max domain size 1000
4.54/2.45 c (1,1) Heap : 901 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.54/2.45 c (1,1) Constraint Name Generate Begin
4.95/2.79 c (2,2) Ctr:HOME/instance-4387705-1568289269.xml,Count:Num:Var:WeightedSum
4.95/2.79 c (2,2) Constraint Name Generate End
4.95/2.79 c (2,2) Heap : 957 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.95/2.79 c (2,2) CSP to CSPinCNF Begin
76.12/66.52 c (65,64) translated 101 (10%) constraints
139.39/127.91 c (127,125) translated 201 (20%) constraints
202.52/189.23 c (188,185) translated 301 (30%) constraints
265.94/250.71 c (250,246) translated 401 (40%) constraints
329.77/312.60 c (312,308) translated 501 (50%) constraints
394.04/375.03 c (374,369) translated 602 (60%) constraints
458.01/437.04 c (436,431) translated 702 (70%) constraints
522.29/499.18 c (498,492) translated 802 (80%) constraints
586.05/560.92 c (560,553) translated 902 (90%) constraints
650.24/622.95 c (622,615) translated 1002 (100%) constraints
650.99/623.65 c (623,615) ===========================================
651.78/624.34 c (623,616) Hybrid: #OE=0, #LE=1001000
651.78/624.34 c (623,616) Hybrid
651.78/624.34 c (623,616) ===========================================
682.70/652.08 c (651,643) translated 200101 (10%) constraints
711.62/679.17 c (678,669) translated 400201 (20%) constraints
740.53/706.30 c (705,696) translated 600301 (30%) constraints
769.26/733.29 c (732,722) translated 800401 (40%) constraints
798.30/760.42 c (759,749) translated 1000501 (50%) constraints
828.69/788.57 c (788,776) translated 1200602 (60%) constraints
857.57/815.50 c (814,802) translated 1400702 (70%) constraints
886.55/842.63 c (842,829) translated 1600802 (80%) constraints
915.48/869.62 c (869,855) translated 1800902 (90%) constraints
944.70/896.91 c (896,882) translated 2001002 (100%) constraints
945.20/897.40 c (896,882) CSP to CSPinCNF End
945.61/897.86 c (897,883) CSP: 501 int (0 aux), 2000499 bool (2000000 aux), 4002004 ctr, max domain size 1000
945.61/897.86 c (897,883) Heap : 9078 MiB used (max 11195 MiB), NonHeap : 27 MiB used (max 0 MiB)
945.61/897.86 c (897,883) CSPinCNF Propagation Begin
1617.86/1465.74 c (1465,1415) 1982636 values, 3965448 unsatisfiable literals, and 3965448 valid clauses are removed
1617.86/1465.74 c (1465,1415) CSPinCNF Propagation End
1618.46/1466.37 c (1465,1416) CSP: 501 int (0 aux), 2000499 bool (2000000 aux), 36556 ctr, max domain size 1000
1618.46/1466.37 c (1465,1416) Heap : 9459 MiB used (max 11256 MiB), NonHeap : 27 MiB used (max 0 MiB)
1619.01/1466.87 c (1466,1417) Hybrid: #OE=1000000, #LE=1001000
1619.01/1466.87 c (1466,1417) Simplify CSPinCNF Begin
1623.10/1468.45 c (1467,1418) Simplify CSPinCNF End
1623.71/1469.09 c (1468,1418) CSP: 501 int (0 aux), 2014775 bool (2014276 aux), 50832 ctr, max domain size 1000
1623.71/1469.09 c (1468,1418) Heap : 6717 MiB used (max 11047 MiB), NonHeap : 28 MiB used (max 0 MiB)
1623.71/1469.09 c (1468,1418) Calculate Precise Domain Begin
1623.71/1469.09 c (1468,1418) 0 values are removed by re-calculation
1623.71/1469.09 c (1468,1418) Calculate Precise Domain End
1624.41/1469.73 c (1469,1419) CSP: 501 int (0 aux), 2014775 bool (2014276 aux), 50832 ctr, max domain size 1000
1624.41/1469.73 c (1469,1419) Heap : 6787 MiB used (max 11047 MiB), NonHeap : 28 MiB used (max 0 MiB)
1624.41/1469.73 c (1469,1419) CSPinCNF to SatSolver Begin
1649.22/1486.56 c (1486,1434) 5084 (10 %) CSP clauses are encoded (0 SAT variables, 6025758 SAT clauses)
1653.03/1489.94 c (1489,1436) 10167 (20 %) CSP clauses are encoded (0 SAT variables, 7133650 SAT clauses)
1654.62/1491.09 c (1490,1437) 15250 (30 %) CSP clauses are encoded (0 SAT variables, 7618492 SAT clauses)
1655.45/1491.71 c (1491,1438) 20333 (40 %) CSP clauses are encoded (0 SAT variables, 7877543 SAT clauses)
1656.17/1492.19 c (1491,1438) 25416 (50 %) CSP clauses are encoded (0 SAT variables, 8027211 SAT clauses)
1656.87/1492.96 c (1492,1439) 30500 (60 %) CSP clauses are encoded (0 SAT variables, 8127239 SAT clauses)
1657.39/1493.41 c (1492,1439) 35583 (70 %) CSP clauses are encoded (0 SAT variables, 8205445 SAT clauses)
1657.89/1494.00 c (1493,1440) 40666 (80 %) CSP clauses are encoded (0 SAT variables, 8274064 SAT clauses)
1659.19/1494.92 c (1494,1440) 45749 (90 %) CSP clauses are encoded (0 SAT variables, 8335957 SAT clauses)
1724.50/1523.93 c (1523,1457) 50832 (100 %) CSP clauses are encoded (0 SAT variables, 15346112 SAT clauses)
1739.72/1532.20 c (1531,1463) CSPinCNF to SatSolver End
1739.72/1532.20 c (1531,1463) Heap : 5547 MiB used (max 10346 MiB), NonHeap : 31 MiB used (max 0 MiB)
1739.72/1532.20 c (1531,1463) 6532206 bool, 18295794 clause
1739.72/1532.20 c (1531,1463) Export Begin
1740.19/1532.44 c (1531,1463) Export to HOME/scop-10534-serial-file.bin
1740.19/1532.44 c (1531,1463) Export End
1740.19/1532.44 c (1531,1463) Export File Size: 0.44 MB
1740.19/1532.44 c (1531,1463) 1,2,897,1465,1468,1469,1531,STOP-AFTER(DIMACS)
1740.19/1532.44 c END-Prog: Thu Sep 12 14:19:21 CEST 2019
0.00/1532.50 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10534-serial-file.bin
1740.36/1532.97 c (0,0) Read Serial File Begin
1740.36/1532.97 c (0,0) HOME/scop-10534-serial-file.bin
1741.73/1533.32 c (0,0) Read Serial File End
1741.73/1533.33
1741.73/1533.33 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
1741.73/1533.33 (Solving Process)
1741.73/1533.33
1741.73/1533.36 c BEGIN-Prog: Thu Sep 12 14:19:22 CEST 2019
1741.73/1533.36 c PID: 10909
1741.73/1533.36 c IP: 172.20.3.140
1741.73/1533.36 c HOST: node140.alineos.net
1741.73/1533.36 c (0,0) SatSolver.solve Begin
1741.73/1533.36 c (0,0) HOME/cryptominisat5 HOME/instance-4387705-1568289269.xml-scop-10537.cnf
1741.73/1533.39 c (0,0) c Outputting solution to console
1741.73/1533.39 c (0,0) c CryptoMiniSat version 5.6.8
1741.73/1533.39 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
1741.73/1533.39 c (0,0) c CMS SHA revision GIT-notfound
1741.73/1533.39 c (0,0) c CMS is MIT licensed
1741.73/1533.39 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
1741.73/1533.39 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
1741.73/1533.39 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387705-1568289269.xml-scop-10537.cnf
1741.73/1533.39 c (0,0) c Reading file 'HOME/instance-4387705-1568289269.xml-scop-10537.cnf'
1741.73/1533.39 c (0,0) c -- header says num vars: 6532206
1741.73/1533.39 c (0,0) c -- header says num clauses: 18295794
1749.05/1540.40 c (7,0) c -- clauses added: 18295794
1749.05/1540.40 c (7,0) c -- xor clauses added: 0
1749.05/1540.40 c (7,0) c -- vars added 6532206
1749.05/1540.40 c (7,0) c Parsing time: 6.32 s
1755.25/1546.63 c (13,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
1755.55/1546.90 c (14,0) c ------- FINAL TOTAL SEARCH STATS ---------
1755.55/1546.90 c (14,0) c UIP search time : 6.13 (48.96 % time)
1755.55/1546.90 c (14,0) c restarts : 1 (31.00 confls per restart)
1755.55/1546.90 c (14,0) c blocked restarts : 0 (0.00 per normal restart)
1755.55/1546.90 c (14,0) c time : 6.13
1755.55/1546.90 c (14,0) c decisions : 3237259 (0.00 % random)
1755.55/1546.90 c (14,0) c propagations : 22639801
1755.55/1546.90 c (14,0) c decisions/conflicts : 104427.71
1755.55/1546.90 c (14,0) c conflicts : 31 (5.06 / sec)
1755.55/1546.90 c (14,0) c conf lits non-minim : 35123 (1133.00 lit/confl)
1755.55/1546.90 c (14,0) c conf lits final : 637.26
1755.55/1546.90 c (14,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
1755.55/1546.90 c (14,0) c red which0 : 1 (3.23 % of confl)
1755.55/1546.90 c (14,0) c props/decision : 0.00
1755.55/1546.90 c (14,0) c props/conflict : 0.00
1755.55/1546.90 c (14,0) c 0-depth assigns : 1702 (0.03 % vars)
1755.55/1546.90 c (14,0) c 0-depth assigns by CNF : 1702 (0.03 % vars)
1755.55/1546.90 c (14,0) c reduceDB time : 0.00 (0.00 % time)
1755.55/1546.90 c (14,0) c OccSimplifier time : 0.00 (0.00 % time)
1755.55/1546.90 c (14,0) c [occur] 0.00 is overhead
1755.55/1546.90 c (14,0) c [occur] link-in T: 0.00 cleanup T: 0.00
1755.55/1546.90 c (14,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
1755.55/1546.90 c (14,0) c SCC time : 0.00 (0.00 % time)
1755.55/1546.90 c (14,0) c [scc] new: 0 BP 0M T: 0.00
1755.55/1546.90 c (14,0) c vrep replace time : 0.00 (0.00 % time)
1755.55/1546.90 c (14,0) c vrep tree roots : 0
1755.55/1546.90 c (14,0) c vrep trees' crown : 0 (0.00 leafs/tree)
1755.55/1546.90 c (14,0) c distill time : 0.00 (0.00 % time)
1755.55/1546.90 c (14,0) c strength cache-irred time: 0.00 (0.00 % time)
1755.55/1546.90 c (14,0) c strength cache-red time : 0.00 (0.00 % time)
1755.55/1546.90 c (14,0) c Conflicts in UIP : 31 (2.48 confl/time_this_thread)
1755.55/1546.90 c (14,0) c Mem used : 2788.87 MB
1755.55/1546.90 c (14,0) c Total time (this thread) : 12.52
1755.55/1546.90 c (14,0) s SATISFIABLE
1747.97/1551.88 c (18,0) SatSolver.solve End
1747.97/1551.88 c (18,0) Heap : 224 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
1747.97/1551.88 c (18,0) Show results Begin
1764.79/1552.03 c (19,0) x[0] = 996
1764.79/1552.03 c (19,0) x[1] = 2
1764.79/1552.03 c (19,0) x[2] = 1
1764.79/1552.03 c (19,0) x[3] = 0
1764.79/1552.03 c (19,0) x[4] = 0
1764.79/1552.03 c (19,0) x[5] = 0
1764.79/1552.03 c (19,0) x[6] = 0
1764.79/1552.03 c (19,0) x[7] = 0
1764.79/1552.03 c (19,0) x[8] = 0
1764.79/1552.03 c (19,0) x[9] = 0
1764.79/1552.03 c (19,0) x[10] = 0
1764.79/1552.03 c (19,0) x[11] = 0
1764.79/1552.03 c (19,0) x[12] = 0
1764.79/1552.03 c (19,0) x[13] = 0
1764.79/1552.03 c (19,0) x[14] = 0
1764.79/1552.03 c (19,0) x[15] = 0
1764.79/1552.03 c (19,0) x[16] = 0
1764.79/1552.03 c (19,0) x[17] = 0
1764.79/1552.03 c (19,0) x[18] = 0
1764.79/1552.03 c (19,0) x[19] = 0
1764.79/1552.03 c (19,0) x[20] = 0
1764.79/1552.03 c (19,0) x[21] = 0
1764.79/1552.03 c (19,0) x[22] = 0
1764.79/1552.03 c (19,0) x[23] = 0
1764.79/1552.03 c (19,0) x[24] = 0
1764.79/1552.03 c (19,0) x[25] = 0
1764.79/1552.03 c (19,0) x[26] = 0
1764.79/1552.03 c (19,0) x[27] = 0
1764.79/1552.03 c (19,0) x[28] = 0
1764.79/1552.03 c (19,0) x[29] = 0
1764.79/1552.03 c (19,0) x[30] = 0
1764.79/1552.03 c (19,0) x[31] = 0
1764.79/1552.03 c (19,0) x[32] = 0
1764.79/1552.03 c (19,0) x[33] = 0
1764.79/1552.03 c (19,0) x[34] = 0
1764.79/1552.03 c (19,0) x[35] = 0
1764.79/1552.03 c (19,0) x[36] = 0
1764.79/1552.03 c (19,0) x[37] = 0
1764.79/1552.03 c (19,0) x[38] = 0
1764.79/1552.03 c (19,0) x[39] = 0
1764.79/1552.03 c (19,0) x[40] = 0
1764.79/1552.03 c (19,0) x[41] = 0
1764.79/1552.03 c (19,0) x[42] = 0
1764.79/1552.03 c (19,0) x[43] = 0
1764.79/1552.03 c (19,0) x[44] = 0
1764.79/1552.03 c (19,0) x[45] = 0
1764.79/1552.03 c (19,0) x[46] = 0
1764.79/1552.03 c (19,0) x[47] = 0
1764.79/1552.03 c (19,0) x[48] = 0
1764.79/1552.03 c (19,0) x[49] = 0
1764.79/1552.03 c (19,0) x[50] = 0
1764.79/1552.03 c (19,0) x[51] = 0
1764.79/1552.03 c (19,0) x[52] = 0
1764.79/1552.03 c (19,0) x[53] = 0
1764.79/1552.03 c (19,0) x[54] = 0
1764.79/1552.03 c (19,0) x[55] = 0
1764.79/1552.03 c (19,0) x[56] = 0
1764.79/1552.03 c (19,0) x[57] = 0
1764.79/1552.03 c (19,0) x[58] = 0
1764.79/1552.03 c (19,0) x[59] = 0
1764.79/1552.03 c (19,0) x[60] = 0
1764.79/1552.03 c (19,0) x[61] = 0
1764.79/1552.03 c (19,0) x[62] = 0
1764.79/1552.03 c (19,0) x[63] = 0
1764.79/1552.03 c (19,0) x[64] = 0
1764.79/1552.03 c (19,0) x[65] = 0
1764.79/1552.03 c (19,0) x[66] = 0
1764.79/1552.03 c (19,0) x[67] = 0
1764.79/1552.03 c (19,0) x[68] = 0
1764.79/1552.03 c (19,0) x[69] = 0
1764.79/1552.03 c (19,0) x[70] = 0
1764.79/1552.03 c (19,0) x[71] = 0
1764.79/1552.03 c (19,0) x[72] = 0
1764.79/1552.03 c (19,0) x[73] = 0
1764.79/1552.03 c (19,0) x[74] = 0
1764.79/1552.03 c (19,0) x[75] = 0
1764.79/1552.03 c (19,0) x[76] = 0
1764.79/1552.03 c (19,0) x[77] = 0
1764.79/1552.03 c (19,0) x[78] = 0
1764.79/1552.03 c (19,0) x[79] = 0
1764.79/1552.03 c (19,0) x[80] = 0
1764.79/1552.03 c (19,0) x[81] = 0
1764.79/1552.03 c (19,0) x[82] = 0
1764.79/1552.03 c (19,0) x[83] = 0
1764.79/1552.03 c (19,0) x[84] = 0
1764.79/1552.03 c (19,0) x[85] = 0
1764.79/1552.03 c (19,0) x[86] = 0
1764.79/1552.03 c (19,0) x[87] = 0
1764.79/1552.03 c (19,0) x[88] = 0
1764.79/1552.03 c (19,0) x[89] = 0
1764.79/1552.03 c (19,0) x[90] = 0
1764.79/1552.03 c (19,0) x[91] = 0
1764.79/1552.03 c (19,0) x[92] = 0
1764.79/1552.03 c (19,0) x[93] = 0
1764.79/1552.03 c (19,0) x[94] = 0
1764.79/1552.03 c (19,0) x[95] = 0
1764.79/1552.03 c (19,0) x[96] = 0
1764.79/1552.03 c (19,0) x[97] = 0
1764.79/1552.03 c (19,0) x[98] = 0
1764.79/1552.03 c (19,0) x[99] = 0
1764.79/1552.03 c (19,0) x[100] = 0
1764.79/1552.03 c (19,0) x[101] = 0
1764.79/1552.03 c (19,0) x[102] = 0
1764.79/1552.03 c (19,0) x[103] = 0
1764.79/1552.03 c (19,0) x[104] = 0
1764.79/1552.03 c (19,0) x[105] = 0
1764.79/1552.03 c (19,0) x[106] = 0
1764.79/1552.03 c (19,0) x[107] = 0
1764.79/1552.03 c (19,0) x[108] = 0
1764.79/1552.03 c (19,0) x[109] = 0
1764.79/1552.03 c (19,0) x[110] = 0
1764.79/1552.03 c (19,0) x[111] = 0
1764.79/1552.03 c (19,0) x[112] = 0
1764.79/1552.03 c (19,0) x[113] = 0
1764.79/1552.03 c (19,0) x[114] = 0
1764.79/1552.03 c (19,0) x[115] = 0
1764.79/1552.03 c (19,0) x[116] = 0
1764.79/1552.03 c (19,0) x[117] = 0
1764.79/1552.03 c (19,0) x[118] = 0
1764.79/1552.03 c (19,0) x[119] = 0
1764.79/1552.03 c (19,0) x[120] = 0
1764.79/1552.03 c (19,0) x[121] = 0
1764.79/1552.03 c (19,0) x[122] = 0
1764.79/1552.03 c (19,0) x[123] = 0
1764.79/1552.03 c (19,0) x[124] = 0
1764.79/1552.03 c (19,0) x[125] = 0
1764.79/1552.03 c (19,0) x[126] = 0
1764.79/1552.03 c (19,0) x[127] = 0
1764.79/1552.03 c (19,0) x[128] = 0
1764.79/1552.03 c (19,0) x[129] = 0
1764.79/1552.03 c (19,0) x[130] = 0
1764.79/1552.03 c (19,0) x[131] = 0
1764.79/1552.03 c (19,0) x[132] = 0
1764.79/1552.03 c (19,0) x[133] = 0
1764.79/1552.03 c (19,0) x[134] = 0
1764.79/1552.03 c (19,0) x[135] = 0
1764.79/1552.03 c (19,0) x[136] = 0
1764.79/1552.03 c (19,0) x[137] = 0
1764.79/1552.03 c (19,0) x[138] = 0
1764.79/1552.03 c (19,0) x[139] = 0
1764.79/1552.03 c (19,0) x[140] = 0
1764.79/1552.03 c (19,0) x[141] = 0
1764.79/1552.03 c (19,0) x[142] = 0
1764.79/1552.03 c (19,0) x[143] = 0
1764.79/1552.03 c (19,0) x[144] = 0
1764.79/1552.03 c (19,0) x[145] = 0
1764.79/1552.03 c (19,0) x[146] = 0
1764.79/1552.03 c (19,0) x[147] = 0
1764.79/1552.03 c (19,0) x[148] = 0
1764.79/1552.03 c (19,0) x[149] = 0
1764.79/1552.03 c (19,0) x[150] = 0
1764.79/1552.03 c (19,0) x[151] = 0
1764.79/1552.03 c (19,0) x[152] = 0
1764.79/1552.03 c (19,0) x[153] = 0
1764.79/1552.03 c (19,0) x[154] = 0
1764.79/1552.03 c (19,0) x[155] = 0
1764.79/1552.03 c (19,0) x[156] = 0
1764.79/1552.03 c (19,0) x[157] = 0
1764.79/1552.03 c (19,0) x[158] = 0
1764.79/1552.03 c (19,0) x[159] = 0
1764.79/1552.03 c (19,0) x[160] = 0
1764.79/1552.03 c (19,0) x[161] = 0
1764.79/1552.03 c (19,0) x[162] = 0
1764.79/1552.03 c (19,0) x[163] = 0
1764.79/1552.03 c (19,0) x[164] = 0
1764.79/1552.03 c (19,0) x[165] = 0
1764.79/1552.03 c (19,0) x[166] = 0
1764.79/1552.03 c (19,0) x[167] = 0
1764.79/1552.03 c (19,0) x[168] = 0
1764.79/1552.03 c (19,0) x[169] = 0
1764.79/1552.03 c (19,0) x[170] = 0
1764.79/1552.03 c (19,0) x[171] = 0
1764.79/1552.03 c (19,0) x[172] = 0
1764.79/1552.03 c (19,0) x[173] = 0
1764.79/1552.03 c (19,0) x[174] = 0
1764.79/1552.03 c (19,0) x[175] = 0
1764.79/1552.03 c (19,0) x[176] = 0
1764.79/1552.03 c (19,0) x[177] = 0
1764.79/1552.03 c (19,0) x[178] = 0
1764.79/1552.03 c (19,0) x[179] = 0
1764.79/1552.03 c (19,0) x[180] = 0
1764.79/1552.04 c (19,0) x[181] = 0
1764.79/1552.04 c (19,0) x[182] = 0
1764.79/1552.04 c (19,0) x[183] = 0
1764.79/1552.04 c (19,0) x[184] = 0
1764.79/1552.04 c (19,0) x[185] = 0
1764.79/1552.04 c (19,0) x[186] = 0
1764.79/1552.04 c (19,0) x[187] = 0
1764.79/1552.04 c (19,0) x[188] = 0
1764.79/1552.04 c (19,0) x[189] = 0
1764.79/1552.04 c (19,0) x[190] = 0
1764.79/1552.04 c (19,0) x[191] = 0
1764.79/1552.04 c (19,0) x[192] = 0
1764.79/1552.04 c (19,0) x[193] = 0
1764.79/1552.04 c (19,0) x[194] = 0
1764.79/1552.04 c (19,0) x[195] = 0
1764.79/1552.04 c (19,0) x[196] = 0
1764.79/1552.04 c (19,0) x[197] = 0
1764.79/1552.04 c (19,0) x[198] = 0
1764.79/1552.04 c (19,0) x[199] = 0
1764.79/1552.04 c (19,0) x[200] = 0
1764.79/1552.04 c (19,0) x[201] = 0
1764.79/1552.04 c (19,0) x[202] = 0
1764.79/1552.04 c (19,0) x[203] = 0
1764.79/1552.04 c (19,0) x[204] = 0
1764.79/1552.04 c (19,0) x[205] = 0
1764.79/1552.04 c (19,0) x[206] = 0
1764.79/1552.04 c (19,0) x[207] = 0
1764.79/1552.04 c (19,0) x[208] = 0
1764.79/1552.04 c (19,0) x[209] = 0
1764.79/1552.04 c (19,0) x[210] = 0
1764.79/1552.04 c (19,0) x[211] = 0
1764.79/1552.04 c (19,0) x[212] = 0
1764.79/1552.04 c (19,0) x[213] = 0
1764.79/1552.04 c (19,0) x[214] = 0
1764.79/1552.04 c (19,0) x[215] = 0
1764.79/1552.04 c (19,0) x[216] = 0
1764.79/1552.04 c (19,0) x[217] = 0
1764.79/1552.04 c (19,0) x[218] = 0
1764.79/1552.04 c (19,0) x[219] = 0
1764.79/1552.04 c (19,0) x[220] = 0
1764.79/1552.04 c (19,0) x[221] = 0
1764.79/1552.04 c (19,0) x[222] = 0
1764.79/1552.04 c (19,0) x[223] = 0
1764.79/1552.04 c (19,0) x[224] = 0
1764.79/1552.04 c (19,0) x[225] = 0
1764.79/1552.04 c (19,0) x[226] = 0
1764.79/1552.04 c (19,0) x[227] = 0
1764.79/1552.04 c (19,0) x[228] = 0
1764.79/1552.04 c (19,0) x[229] = 0
1764.79/1552.04 c (19,0) x[230] = 0
1764.79/1552.04 c (19,0) x[231] = 0
1764.79/1552.04 c (19,0) x[232] = 0
1764.79/1552.04 c (19,0) x[233] = 0
1764.79/1552.04 c (19,0) x[234] = 0
1764.79/1552.04 c (19,0) x[235] = 0
1764.79/1552.04 c (19,0) x[236] = 0
1764.79/1552.04 c (19,0) x[237] = 0
1764.79/1552.04 c (19,0) x[238] = 0
1764.79/1552.04 c (19,0) x[239] = 0
1764.79/1552.04 c (19,0) x[240] = 0
1764.79/1552.04 c (19,0) x[241] = 0
1764.79/1552.04 c (19,0) x[242] = 0
1764.79/1552.04 c (19,0) x[243] = 0
1764.79/1552.04 c (19,0) x[244] = 0
1764.79/1552.04 c (19,0) x[245] = 0
1764.79/1552.04 c (19,0) x[246] = 0
1764.79/1552.04 c (19,0) x[247] = 0
1764.79/1552.04 c (19,0) x[248] = 0
1764.79/1552.04 c (19,0) x[249] = 0
1764.79/1552.04 c (19,0) x[250] = 0
1764.79/1552.04 c (19,0) x[251] = 0
1764.79/1552.04 c (19,0) x[252] = 0
1764.79/1552.04 c (19,0) x[253] = 0
1764.79/1552.04 c (19,0) x[254] = 0
1764.79/1552.04 c (19,0) x[255] = 0
1764.79/1552.04 c (19,0) x[256] = 0
1764.79/1552.04 c (19,0) x[257] = 0
1764.79/1552.04 c (19,0) x[258] = 0
1764.79/1552.04 c (19,0) x[259] = 0
1764.79/1552.04 c (19,0) x[260] = 0
1764.79/1552.04 c (19,0) x[261] = 0
1764.79/1552.04 c (19,0) x[262] = 0
1764.79/1552.04 c (19,0) x[263] = 0
1764.79/1552.04 c (19,0) x[264] = 0
1764.79/1552.04 c (19,0) x[265] = 0
1764.79/1552.04 c (19,0) x[266] = 0
1764.79/1552.04 c (19,0) x[267] = 0
1764.79/1552.04 c (19,0) x[268] = 0
1764.79/1552.04 c (19,0) x[269] = 0
1764.79/1552.04 c (19,0) x[270] = 0
1764.79/1552.04 c (19,0) x[271] = 0
1764.79/1552.04 c (19,0) x[272] = 0
1764.79/1552.04 c (19,0) x[273] = 0
1764.79/1552.04 c (19,0) x[274] = 0
1764.79/1552.04 c (19,0) x[275] = 0
1764.79/1552.04 c (19,0) x[276] = 0
1764.79/1552.04 c (19,0) x[277] = 0
1764.79/1552.04 c (19,0) x[278] = 0
1764.79/1552.04 c (19,0) x[279] = 0
1764.79/1552.04 c (19,0) x[280] = 0
1764.79/1552.04 c (19,0) x[281] = 0
1764.79/1552.04 c (19,0) x[282] = 0
1764.79/1552.04 c (19,0) x[283] = 0
1764.79/1552.04 c (19,0) x[284] = 0
1764.79/1552.04 c (19,0) x[285] = 0
1764.79/1552.04 c (19,0) x[286] = 0
1764.79/1552.04 c (19,0) x[287] = 0
1764.79/1552.04 c (19,0) x[288] = 0
1764.79/1552.04 c (19,0) x[289] = 0
1764.79/1552.04 c (19,0) x[290] = 0
1764.79/1552.04 c (19,0) x[291] = 0
1764.79/1552.04 c (19,0) x[292] = 0
1764.79/1552.04 c (19,0) x[293] = 0
1764.79/1552.04 c (19,0) x[294] = 0
1764.79/1552.04 c (19,0) x[295] = 0
1764.79/1552.04 c (19,0) x[296] = 0
1764.79/1552.04 c (19,0) x[297] = 0
1764.79/1552.04 c (19,0) x[298] = 0
1764.79/1552.04 c (19,0) x[299] = 0
1764.79/1552.04 c (19,0) x[300] = 0
1764.79/1552.04 c (19,0) x[301] = 0
1764.79/1552.04 c (19,0) x[302] = 0
1764.79/1552.04 c (19,0) x[303] = 0
1764.79/1552.04 c (19,0) x[304] = 0
1764.79/1552.04 c (19,0) x[305] = 0
1764.79/1552.04 c (19,0) x[306] = 0
1764.79/1552.04 c (19,0) x[307] = 0
1764.79/1552.04 c (19,0) x[308] = 0
1764.79/1552.04 c (19,0) x[309] = 0
1764.79/1552.04 c (19,0) x[310] = 0
1764.79/1552.04 c (19,0) x[311] = 0
1764.79/1552.04 c (19,0) x[312] = 0
1764.79/1552.04 c (19,0) x[313] = 0
1764.79/1552.04 c (19,0) x[314] = 0
1764.79/1552.04 c (19,0) x[315] = 0
1764.79/1552.04 c (19,0) x[316] = 0
1764.79/1552.04 c (19,0) x[317] = 0
1764.79/1552.04 c (19,0) x[318] = 0
1764.79/1552.04 c (19,0) x[319] = 0
1764.79/1552.04 c (19,0) x[320] = 0
1764.79/1552.04 c (19,0) x[321] = 0
1764.79/1552.04 c (19,0) x[322] = 0
1764.79/1552.04 c (19,0) x[323] = 0
1764.79/1552.04 c (19,0) x[324] = 0
1764.79/1552.04 c (19,0) x[325] = 0
1764.79/1552.04 c (19,0) x[326] = 0
1764.79/1552.04 c (19,0) x[327] = 0
1764.79/1552.04 c (19,0) x[328] = 0
1764.79/1552.04 c (19,0) x[329] = 0
1764.79/1552.04 c (19,0) x[330] = 0
1764.79/1552.04 c (19,0) x[331] = 0
1764.79/1552.04 c (19,0) x[332] = 0
1764.79/1552.04 c (19,0) x[333] = 0
1764.79/1552.04 c (19,0) x[334] = 0
1764.79/1552.04 c (19,0) x[335] = 0
1764.79/1552.04 c (19,0) x[336] = 0
1764.79/1552.04 c (19,0) x[337] = 0
1764.79/1552.04 c (19,0) x[338] = 0
1764.79/1552.04 c (19,0) x[339] = 0
1764.79/1552.04 c (19,0) x[340] = 0
1764.79/1552.04 c (19,0) x[341] = 0
1764.79/1552.04 c (19,0) x[342] = 0
1764.79/1552.04 c (19,0) x[343] = 0
1764.79/1552.04 c (19,0) x[344] = 0
1764.79/1552.04 c (19,0) x[345] = 0
1764.79/1552.04 c (19,0) x[346] = 0
1764.79/1552.04 c (19,0) x[347] = 0
1764.79/1552.04 c (19,0) x[348] = 0
1764.79/1552.04 c (19,0) x[349] = 0
1764.79/1552.04 c (19,0) x[350] = 0
1764.79/1552.04 c (19,0) x[351] = 0
1764.79/1552.04 c (19,0) x[352] = 0
1764.79/1552.04 c (19,0) x[353] = 0
1764.79/1552.04 c (19,0) x[354] = 0
1764.79/1552.04 c (19,0) x[355] = 0
1764.79/1552.04 c (19,0) x[356] = 0
1764.79/1552.04 c (19,0) x[357] = 0
1764.79/1552.04 c (19,0) x[358] = 0
1764.79/1552.04 c (19,0) x[359] = 0
1764.79/1552.04 c (19,0) x[360] = 0
1764.79/1552.04 c (19,0) x[361] = 0
1764.79/1552.04 c (19,0) x[362] = 0
1764.79/1552.04 c (19,0) x[363] = 0
1764.79/1552.04 c (19,0) x[364] = 0
1764.79/1552.04 c (19,0) x[365] = 0
1764.79/1552.04 c (19,0) x[366] = 0
1764.79/1552.04 c (19,0) x[367] = 0
1764.79/1552.04 c (19,0) x[368] = 0
1764.79/1552.04 c (19,0) x[369] = 0
1764.79/1552.04 c (19,0) x[370] = 0
1764.79/1552.04 c (19,0) x[371] = 0
1764.79/1552.04 c (19,0) x[372] = 0
1764.79/1552.04 c (19,0) x[373] = 0
1764.79/1552.04 c (19,0) x[374] = 0
1764.79/1552.04 c (19,0) x[375] = 0
1764.79/1552.04 c (19,0) x[376] = 0
1764.79/1552.04 c (19,0) x[377] = 0
1764.79/1552.04 c (19,0) x[378] = 0
1764.79/1552.04 c (19,0) x[379] = 0
1764.79/1552.04 c (19,0) x[380] = 0
1764.79/1552.04 c (19,0) x[381] = 0
1764.79/1552.04 c (19,0) x[382] = 0
1764.79/1552.04 c (19,0) x[383] = 0
1764.79/1552.04 c (19,0) x[384] = 0
1764.79/1552.04 c (19,0) x[385] = 0
1764.79/1552.04 c (19,0) x[386] = 0
1764.79/1552.04 c (19,0) x[387] = 0
1764.79/1552.04 c (19,0) x[388] = 0
1764.79/1552.04 c (19,0) x[389] = 0
1764.79/1552.04 c (19,0) x[390] = 0
1764.79/1552.04 c (19,0) x[391] = 0
1764.79/1552.04 c (19,0) x[392] = 0
1764.79/1552.05 c (19,0) x[393] = 0
1764.79/1552.05 c (19,0) x[394] = 0
1764.79/1552.05 c (19,0) x[395] = 0
1764.79/1552.05 c (19,0) x[396] = 0
1764.79/1552.05 c (19,0) x[397] = 0
1764.79/1552.05 c (19,0) x[398] = 0
1764.79/1552.05 c (19,0) x[399] = 0
1764.79/1552.05 c (19,0) x[400] = 0
1764.79/1552.05 c (19,0) x[401] = 0
1764.79/1552.05 c (19,0) x[402] = 0
1764.79/1552.05 c (19,0) x[403] = 0
1764.79/1552.05 c (19,0) x[404] = 0
1764.79/1552.05 c (19,0) x[405] = 0
1764.79/1552.05 c (19,0) x[406] = 0
1764.79/1552.05 c (19,0) x[407] = 0
1764.79/1552.05 c (19,0) x[408] = 0
1764.79/1552.05 c (19,0) x[409] = 0
1764.79/1552.05 c (19,0) x[410] = 0
1764.79/1552.05 c (19,0) x[411] = 0
1764.79/1552.05 c (19,0) x[412] = 0
1764.79/1552.05 c (19,0) x[413] = 0
1764.79/1552.05 c (19,0) x[414] = 0
1764.79/1552.05 c (19,0) x[415] = 0
1764.79/1552.05 c (19,0) x[416] = 0
1764.79/1552.05 c (19,0) x[417] = 0
1764.79/1552.05 c (19,0) x[418] = 0
1764.79/1552.05 c (19,0) x[419] = 0
1764.79/1552.05 c (19,0) x[420] = 0
1764.79/1552.05 c (19,0) x[421] = 0
1764.79/1552.05 c (19,0) x[422] = 0
1764.79/1552.05 c (19,0) x[423] = 0
1764.79/1552.05 c (19,0) x[424] = 0
1764.79/1552.05 c (19,0) x[425] = 0
1764.79/1552.05 c (19,0) x[426] = 0
1764.79/1552.05 c (19,0) x[427] = 0
1764.79/1552.05 c (19,0) x[428] = 0
1764.79/1552.05 c (19,0) x[429] = 0
1764.79/1552.05 c (19,0) x[430] = 0
1764.79/1552.05 c (19,0) x[431] = 0
1764.79/1552.05 c (19,0) x[432] = 0
1764.79/1552.05 c (19,0) x[433] = 0
1764.79/1552.05 c (19,0) x[434] = 0
1764.79/1552.05 c (19,0) x[435] = 0
1764.79/1552.05 c (19,0) x[436] = 0
1764.79/1552.05 c (19,0) x[437] = 0
1764.79/1552.05 c (19,0) x[438] = 0
1764.79/1552.05 c (19,0) x[439] = 0
1764.79/1552.05 c (19,0) x[440] = 0
1764.79/1552.05 c (19,0) x[441] = 0
1764.79/1552.05 c (19,0) x[442] = 0
1764.79/1552.05 c (19,0) x[443] = 0
1764.79/1552.05 c (19,0) x[444] = 0
1764.79/1552.05 c (19,0) x[445] = 0
1764.79/1552.05 c (19,0) x[446] = 0
1764.79/1552.05 c (19,0) x[447] = 0
1764.79/1552.05 c (19,0) x[448] = 0
1764.79/1552.05 c (19,0) x[449] = 0
1764.79/1552.05 c (19,0) x[450] = 0
1764.79/1552.05 c (19,0) x[451] = 0
1764.79/1552.05 c (19,0) x[452] = 0
1764.79/1552.05 c (19,0) x[453] = 0
1764.79/1552.05 c (19,0) x[454] = 0
1764.79/1552.05 c (19,0) x[455] = 0
1764.79/1552.05 c (19,0) x[456] = 0
1764.79/1552.05 c (19,0) x[457] = 0
1764.79/1552.05 c (19,0) x[458] = 0
1764.79/1552.05 c (19,0) x[459] = 0
1764.79/1552.05 c (19,0) x[460] = 0
1764.79/1552.05 c (19,0) x[461] = 0
1764.79/1552.05 c (19,0) x[462] = 0
1764.79/1552.05 c (19,0) x[463] = 0
1764.79/1552.05 c (19,0) x[464] = 0
1764.79/1552.05 c (19,0) x[465] = 0
1764.79/1552.05 c (19,0) x[466] = 0
1764.79/1552.05 c (19,0) x[467] = 0
1764.79/1552.05 c (19,0) x[468] = 0
1764.79/1552.05 c (19,0) x[469] = 0
1764.79/1552.05 c (19,0) x[470] = 0
1764.79/1552.05 c (19,0) x[471] = 0
1764.79/1552.05 c (19,0) x[472] = 0
1764.79/1552.05 c (19,0) x[473] = 0
1764.79/1552.05 c (19,0) x[474] = 0
1764.79/1552.05 c (19,0) x[475] = 0
1764.79/1552.05 c (19,0) x[476] = 0
1764.79/1552.05 c (19,0) x[477] = 0
1764.79/1552.05 c (19,0) x[478] = 0
1764.79/1552.05 c (19,0) x[479] = 0
1764.79/1552.05 c (19,0) x[480] = 0
1764.79/1552.05 c (19,0) x[481] = 0
1764.79/1552.05 c (19,0) x[482] = 0
1764.79/1552.05 c (19,0) x[483] = 0
1764.79/1552.05 c (19,0) x[484] = 0
1764.79/1552.05 c (19,0) x[485] = 0
1764.79/1552.05 c (19,0) x[486] = 0
1764.79/1552.05 c (19,0) x[487] = 0
1764.79/1552.05 c (19,0) x[488] = 0
1764.79/1552.05 c (19,0) x[489] = 0
1764.79/1552.05 c (19,0) x[490] = 0
1764.79/1552.05 c (19,0) x[491] = 0
1764.79/1552.05 c (19,0) x[492] = 0
1764.79/1552.05 c (19,0) x[493] = 0
1764.79/1552.05 c (19,0) x[494] = 0
1764.79/1552.05 c (19,0) x[495] = 0
1764.79/1552.05 c (19,0) x[496] = 0
1764.79/1552.05 c (19,0) x[497] = 0
1764.79/1552.05 c (19,0) x[498] = 0
1764.79/1552.05 c (19,0) x[499] = 0
1764.79/1552.05 c (19,0) x[500] = 0
1764.79/1552.05 c (19,0) x[501] = 0
1764.79/1552.05 c (19,0) x[502] = 0
1764.79/1552.05 c (19,0) x[503] = 0
1764.79/1552.05 c (19,0) x[504] = 0
1764.79/1552.05 c (19,0) x[505] = 0
1764.79/1552.05 c (19,0) x[506] = 0
1764.79/1552.05 c (19,0) x[507] = 0
1764.79/1552.05 c (19,0) x[508] = 0
1764.79/1552.05 c (19,0) x[509] = 0
1764.79/1552.05 c (19,0) x[510] = 0
1764.79/1552.05 c (19,0) x[511] = 0
1764.79/1552.05 c (19,0) x[512] = 0
1764.79/1552.05 c (19,0) x[513] = 0
1764.79/1552.05 c (19,0) x[514] = 0
1764.79/1552.05 c (19,0) x[515] = 0
1764.79/1552.05 c (19,0) x[516] = 0
1764.79/1552.05 c (19,0) x[517] = 0
1764.79/1552.05 c (19,0) x[518] = 0
1764.79/1552.05 c (19,0) x[519] = 0
1764.79/1552.05 c (19,0) x[520] = 0
1764.79/1552.05 c (19,0) x[521] = 0
1764.79/1552.05 c (19,0) x[522] = 0
1764.79/1552.05 c (19,0) x[523] = 0
1764.79/1552.05 c (19,0) x[524] = 0
1764.79/1552.05 c (19,0) x[525] = 0
1764.79/1552.05 c (19,0) x[526] = 0
1764.79/1552.05 c (19,0) x[527] = 0
1764.79/1552.05 c (19,0) x[528] = 0
1764.79/1552.05 c (19,0) x[529] = 0
1764.79/1552.05 c (19,0) x[530] = 0
1764.79/1552.05 c (19,0) x[531] = 0
1764.79/1552.05 c (19,0) x[532] = 0
1764.79/1552.05 c (19,0) x[533] = 0
1764.79/1552.05 c (19,0) x[534] = 0
1764.79/1552.05 c (19,0) x[535] = 0
1764.79/1552.05 c (19,0) x[536] = 0
1764.79/1552.05 c (19,0) x[537] = 0
1764.79/1552.05 c (19,0) x[538] = 0
1764.79/1552.05 c (19,0) x[539] = 0
1764.79/1552.05 c (19,0) x[540] = 0
1764.79/1552.05 c (19,0) x[541] = 0
1764.79/1552.05 c (19,0) x[542] = 0
1764.79/1552.05 c (19,0) x[543] = 0
1764.79/1552.05 c (19,0) x[544] = 0
1764.79/1552.05 c (19,0) x[545] = 0
1764.79/1552.05 c (19,0) x[546] = 0
1764.79/1552.05 c (19,0) x[547] = 0
1764.79/1552.05 c (19,0) x[548] = 0
1764.79/1552.05 c (19,0) x[549] = 0
1764.79/1552.05 c (19,0) x[550] = 0
1764.79/1552.05 c (19,0) x[551] = 0
1764.79/1552.05 c (19,0) x[552] = 0
1764.79/1552.05 c (19,0) x[553] = 0
1764.79/1552.05 c (19,0) x[554] = 0
1764.79/1552.05 c (19,0) x[555] = 0
1764.79/1552.05 c (19,0) x[556] = 0
1764.79/1552.05 c (19,0) x[557] = 0
1764.79/1552.05 c (19,0) x[558] = 0
1764.79/1552.05 c (19,0) x[559] = 0
1764.79/1552.05 c (19,0) x[560] = 0
1764.79/1552.05 c (19,0) x[561] = 0
1764.79/1552.05 c (19,0) x[562] = 0
1764.79/1552.05 c (19,0) x[563] = 0
1764.79/1552.05 c (19,0) x[564] = 0
1764.79/1552.05 c (19,0) x[565] = 0
1764.79/1552.05 c (19,0) x[566] = 0
1764.79/1552.05 c (19,0) x[567] = 0
1764.79/1552.05 c (19,0) x[568] = 0
1764.79/1552.05 c (19,0) x[569] = 0
1764.79/1552.05 c (19,0) x[570] = 0
1764.79/1552.05 c (19,0) x[571] = 0
1764.79/1552.05 c (19,0) x[572] = 0
1764.79/1552.05 c (19,0) x[573] = 0
1764.79/1552.05 c (19,0) x[574] = 0
1764.79/1552.05 c (19,0) x[575] = 0
1764.79/1552.05 c (19,0) x[576] = 0
1764.79/1552.05 c (19,0) x[577] = 0
1764.79/1552.05 c (19,0) x[578] = 0
1764.79/1552.05 c (19,0) x[579] = 0
1764.79/1552.05 c (19,0) x[580] = 0
1764.79/1552.05 c (19,0) x[581] = 0
1764.79/1552.05 c (19,0) x[582] = 0
1764.79/1552.05 c (19,0) x[583] = 0
1764.79/1552.05 c (19,0) x[584] = 0
1764.79/1552.05 c (19,0) x[585] = 0
1764.79/1552.05 c (19,0) x[586] = 0
1764.79/1552.05 c (19,0) x[587] = 0
1764.79/1552.05 c (19,0) x[588] = 0
1764.79/1552.05 c (19,0) x[589] = 0
1764.79/1552.05 c (19,0) x[590] = 0
1764.79/1552.05 c (19,0) x[591] = 0
1764.79/1552.05 c (19,0) x[592] = 0
1764.79/1552.05 c (19,0) x[593] = 0
1764.79/1552.05 c (19,0) x[594] = 0
1764.79/1552.05 c (19,0) x[595] = 0
1764.79/1552.05 c (19,0) x[596] = 0
1764.79/1552.05 c (19,0) x[597] = 0
1764.79/1552.05 c (19,0) x[598] = 0
1764.79/1552.05 c (19,0) x[599] = 0
1764.79/1552.05 c (19,0) x[600] = 0
1764.79/1552.05 c (19,0) x[601] = 0
1764.79/1552.05 c (19,0) x[602] = 0
1764.79/1552.05 c (19,0) x[603] = 0
1764.79/1552.05 c (19,0) x[604] = 0
1764.79/1552.05 c (19,0) x[605] = 0
1764.79/1552.05 c (19,0) x[606] = 0
1764.79/1552.05 c (19,0) x[607] = 0
1764.79/1552.05 c (19,0) x[608] = 0
1764.79/1552.05 c (19,0) x[609] = 0
1764.79/1552.05 c (19,0) x[610] = 0
1764.79/1552.05 c (19,0) x[611] = 0
1764.79/1552.05 c (19,0) x[612] = 0
1764.79/1552.05 c (19,0) x[613] = 0
1764.79/1552.05 c (19,0) x[614] = 0
1764.79/1552.05 c (19,0) x[615] = 0
1764.79/1552.05 c (19,0) x[616] = 0
1764.79/1552.05 c (19,0) x[617] = 0
1764.79/1552.05 c (19,0) x[618] = 0
1764.79/1552.05 c (19,0) x[619] = 0
1764.79/1552.05 c (19,0) x[620] = 0
1764.79/1552.05 c (19,0) x[621] = 0
1764.79/1552.05 c (19,0) x[622] = 0
1764.79/1552.05 c (19,0) x[623] = 0
1764.79/1552.05 c (19,0) x[624] = 0
1764.79/1552.05 c (19,0) x[625] = 0
1764.79/1552.05 c (19,0) x[626] = 0
1764.79/1552.05 c (19,0) x[627] = 0
1764.79/1552.05 c (19,0) x[628] = 0
1764.79/1552.05 c (19,0) x[629] = 0
1764.79/1552.05 c (19,0) x[630] = 0
1764.79/1552.05 c (19,0) x[631] = 0
1764.79/1552.05 c (19,0) x[632] = 0
1764.79/1552.05 c (19,0) x[633] = 0
1764.79/1552.05 c (19,0) x[634] = 0
1764.79/1552.05 c (19,0) x[635] = 0
1764.79/1552.05 c (19,0) x[636] = 0
1764.79/1552.05 c (19,0) x[637] = 0
1764.79/1552.05 c (19,0) x[638] = 0
1764.79/1552.05 c (19,0) x[639] = 0
1764.79/1552.05 c (19,0) x[640] = 0
1764.79/1552.05 c (19,0) x[641] = 0
1764.79/1552.05 c (19,0) x[642] = 0
1764.79/1552.05 c (19,0) x[643] = 0
1764.79/1552.05 c (19,0) x[644] = 0
1764.79/1552.05 c (19,0) x[645] = 0
1764.79/1552.05 c (19,0) x[646] = 0
1764.79/1552.05 c (19,0) x[647] = 0
1764.79/1552.05 c (19,0) x[648] = 0
1764.79/1552.05 c (19,0) x[649] = 0
1764.79/1552.05 c (19,0) x[650] = 0
1764.79/1552.05 c (19,0) x[651] = 0
1764.79/1552.05 c (19,0) x[652] = 0
1764.79/1552.05 c (19,0) x[653] = 0
1764.79/1552.05 c (19,0) x[654] = 0
1764.79/1552.05 c (19,0) x[655] = 0
1764.79/1552.05 c (19,0) x[656] = 0
1764.79/1552.05 c (19,0) x[657] = 0
1764.79/1552.05 c (19,0) x[658] = 0
1764.79/1552.05 c (19,0) x[659] = 0
1764.79/1552.05 c (19,0) x[660] = 0
1764.79/1552.05 c (19,0) x[661] = 0
1764.79/1552.05 c (19,0) x[662] = 0
1764.79/1552.05 c (19,0) x[663] = 0
1764.79/1552.05 c (19,0) x[664] = 0
1764.79/1552.05 c (19,0) x[665] = 0
1764.79/1552.05 c (19,0) x[666] = 0
1764.79/1552.05 c (19,0) x[667] = 0
1764.79/1552.05 c (19,0) x[668] = 0
1764.79/1552.05 c (19,0) x[669] = 0
1764.79/1552.05 c (19,0) x[670] = 0
1764.79/1552.05 c (19,0) x[671] = 0
1764.79/1552.05 c (19,0) x[672] = 0
1764.79/1552.05 c (19,0) x[673] = 0
1764.79/1552.05 c (19,0) x[674] = 0
1764.79/1552.05 c (19,0) x[675] = 0
1764.79/1552.05 c (19,0) x[676] = 0
1764.79/1552.05 c (19,0) x[677] = 0
1764.79/1552.05 c (19,0) x[678] = 0
1764.79/1552.05 c (19,0) x[679] = 0
1764.79/1552.05 c (19,0) x[680] = 0
1764.79/1552.05 c (19,0) x[681] = 0
1764.79/1552.05 c (19,0) x[682] = 0
1764.79/1552.05 c (19,0) x[683] = 0
1764.79/1552.05 c (19,0) x[684] = 0
1764.79/1552.05 c (19,0) x[685] = 0
1764.79/1552.05 c (19,0) x[686] = 0
1764.79/1552.05 c (19,0) x[687] = 0
1764.79/1552.05 c (19,0) x[688] = 0
1764.79/1552.05 c (19,0) x[689] = 0
1764.79/1552.05 c (19,0) x[690] = 0
1764.79/1552.05 c (19,0) x[691] = 0
1764.79/1552.05 c (19,0) x[692] = 0
1764.79/1552.05 c (19,0) x[693] = 0
1764.79/1552.05 c (19,0) x[694] = 0
1764.79/1552.05 c (19,0) x[695] = 0
1764.79/1552.05 c (19,0) x[696] = 0
1764.79/1552.05 c (19,0) x[697] = 0
1764.79/1552.05 c (19,0) x[698] = 0
1764.79/1552.05 c (19,0) x[699] = 0
1764.79/1552.05 c (19,0) x[700] = 0
1764.79/1552.05 c (19,0) x[701] = 0
1764.79/1552.05 c (19,0) x[702] = 0
1764.79/1552.05 c (19,0) x[703] = 0
1764.79/1552.05 c (19,0) x[704] = 0
1764.79/1552.05 c (19,0) x[705] = 0
1764.79/1552.05 c (19,0) x[706] = 0
1764.79/1552.05 c (19,0) x[707] = 0
1764.79/1552.06 c (19,0) x[708] = 0
1764.79/1552.06 c (19,0) x[709] = 0
1764.79/1552.06 c (19,0) x[710] = 0
1764.79/1552.06 c (19,0) x[711] = 0
1764.79/1552.06 c (19,0) x[712] = 0
1764.79/1552.06 c (19,0) x[713] = 0
1764.79/1552.06 c (19,0) x[714] = 0
1764.79/1552.06 c (19,0) x[715] = 0
1764.79/1552.06 c (19,0) x[716] = 0
1764.79/1552.06 c (19,0) x[717] = 0
1764.79/1552.06 c (19,0) x[718] = 0
1764.79/1552.06 c (19,0) x[719] = 0
1764.79/1552.06 c (19,0) x[720] = 0
1764.79/1552.06 c (19,0) x[721] = 0
1764.79/1552.06 c (19,0) x[722] = 0
1764.79/1552.06 c (19,0) x[723] = 0
1764.79/1552.06 c (19,0) x[724] = 0
1764.79/1552.06 c (19,0) x[725] = 0
1764.79/1552.06 c (19,0) x[726] = 0
1764.79/1552.06 c (19,0) x[727] = 0
1764.79/1552.06 c (19,0) x[728] = 0
1764.79/1552.06 c (19,0) x[729] = 0
1764.79/1552.06 c (19,0) x[730] = 0
1764.79/1552.06 c (19,0) x[731] = 0
1764.79/1552.06 c (19,0) x[732] = 0
1764.79/1552.06 c (19,0) x[733] = 0
1764.79/1552.06 c (19,0) x[734] = 0
1764.79/1552.06 c (19,0) x[735] = 0
1764.79/1552.06 c (19,0) x[736] = 0
1764.79/1552.06 c (19,0) x[737] = 0
1764.79/1552.06 c (19,0) x[738] = 0
1764.79/1552.06 c (19,0) x[739] = 0
1764.79/1552.06 c (19,0) x[740] = 0
1764.79/1552.06 c (19,0) x[741] = 0
1764.79/1552.06 c (19,0) x[742] = 0
1764.79/1552.06 c (19,0) x[743] = 0
1764.79/1552.06 c (19,0) x[744] = 0
1764.79/1552.06 c (19,0) x[745] = 0
1764.79/1552.06 c (19,0) x[746] = 0
1764.79/1552.06 c (19,0) x[747] = 0
1764.79/1552.06 c (19,0) x[748] = 0
1764.79/1552.06 c (19,0) x[749] = 0
1764.79/1552.06 c (19,0) x[750] = 0
1764.79/1552.06 c (19,0) x[751] = 0
1764.79/1552.06 c (19,0) x[752] = 0
1764.79/1552.06 c (19,0) x[753] = 0
1764.79/1552.06 c (19,0) x[754] = 0
1764.79/1552.06 c (19,0) x[755] = 0
1764.79/1552.06 c (19,0) x[756] = 0
1764.79/1552.06 c (19,0) x[757] = 0
1764.79/1552.06 c (19,0) x[758] = 0
1764.79/1552.06 c (19,0) x[759] = 0
1764.79/1552.06 c (19,0) x[760] = 0
1764.79/1552.06 c (19,0) x[761] = 0
1764.79/1552.06 c (19,0) x[762] = 0
1764.79/1552.06 c (19,0) x[763] = 0
1764.79/1552.06 c (19,0) x[764] = 0
1764.79/1552.06 c (19,0) x[765] = 0
1764.79/1552.06 c (19,0) x[766] = 0
1764.79/1552.06 c (19,0) x[767] = 0
1764.79/1552.06 c (19,0) x[768] = 0
1764.79/1552.06 c (19,0) x[769] = 0
1764.79/1552.06 c (19,0) x[770] = 0
1764.79/1552.06 c (19,0) x[771] = 0
1764.79/1552.06 c (19,0) x[772] = 0
1764.79/1552.06 c (19,0) x[773] = 0
1764.79/1552.06 c (19,0) x[774] = 0
1764.79/1552.06 c (19,0) x[775] = 0
1764.79/1552.06 c (19,0) x[776] = 0
1764.79/1552.06 c (19,0) x[777] = 0
1764.79/1552.06 c (19,0) x[778] = 0
1764.79/1552.06 c (19,0) x[779] = 0
1764.79/1552.06 c (19,0) x[780] = 0
1764.79/1552.06 c (19,0) x[781] = 0
1764.79/1552.06 c (19,0) x[782] = 0
1764.79/1552.06 c (19,0) x[783] = 0
1764.79/1552.06 c (19,0) x[784] = 0
1764.79/1552.06 c (19,0) x[785] = 0
1764.79/1552.06 c (19,0) x[786] = 0
1764.79/1552.06 c (19,0) x[787] = 0
1764.79/1552.06 c (19,0) x[788] = 0
1764.79/1552.06 c (19,0) x[789] = 0
1764.79/1552.06 c (19,0) x[790] = 0
1764.79/1552.06 c (19,0) x[791] = 0
1764.79/1552.06 c (19,0) x[792] = 0
1764.79/1552.06 c (19,0) x[793] = 0
1764.79/1552.06 c (19,0) x[794] = 0
1764.79/1552.06 c (19,0) x[795] = 0
1764.79/1552.06 c (19,0) x[796] = 0
1764.79/1552.06 c (19,0) x[797] = 0
1764.79/1552.06 c (19,0) x[798] = 0
1764.79/1552.06 c (19,0) x[799] = 0
1764.79/1552.06 c (19,0) x[800] = 0
1764.79/1552.06 c (19,0) x[801] = 0
1764.79/1552.06 c (19,0) x[802] = 0
1764.79/1552.06 c (19,0) x[803] = 0
1764.79/1552.06 c (19,0) x[804] = 0
1764.79/1552.06 c (19,0) x[805] = 0
1764.79/1552.06 c (19,0) x[806] = 0
1764.79/1552.06 c (19,0) x[807] = 0
1764.79/1552.06 c (19,0) x[808] = 0
1764.79/1552.06 c (19,0) x[809] = 0
1764.79/1552.06 c (19,0) x[810] = 0
1764.79/1552.06 c (19,0) x[811] = 0
1764.79/1552.06 c (19,0) x[812] = 0
1764.79/1552.06 c (19,0) x[813] = 0
1764.79/1552.06 c (19,0) x[814] = 0
1764.79/1552.06 c (19,0) x[815] = 0
1764.79/1552.06 c (19,0) x[816] = 0
1764.79/1552.06 c (19,0) x[817] = 0
1764.79/1552.06 c (19,0) x[818] = 0
1764.79/1552.06 c (19,0) x[819] = 0
1764.79/1552.06 c (19,0) x[820] = 0
1764.79/1552.06 c (19,0) x[821] = 0
1764.79/1552.06 c (19,0) x[822] = 0
1764.79/1552.06 c (19,0) x[823] = 0
1764.79/1552.06 c (19,0) x[824] = 0
1764.79/1552.06 c (19,0) x[825] = 0
1764.79/1552.06 c (19,0) x[826] = 0
1764.79/1552.06 c (19,0) x[827] = 0
1764.79/1552.06 c (19,0) x[828] = 0
1764.79/1552.06 c (19,0) x[829] = 0
1764.79/1552.06 c (19,0) x[830] = 0
1764.79/1552.06 c (19,0) x[831] = 0
1764.79/1552.06 c (19,0) x[832] = 0
1764.79/1552.06 c (19,0) x[833] = 0
1764.79/1552.06 c (19,0) x[834] = 0
1764.79/1552.06 c (19,0) x[835] = 0
1764.79/1552.06 c (19,0) x[836] = 0
1764.79/1552.06 c (19,0) x[837] = 0
1764.79/1552.06 c (19,0) x[838] = 0
1764.79/1552.06 c (19,0) x[839] = 0
1764.79/1552.06 c (19,0) x[840] = 0
1764.79/1552.06 c (19,0) x[841] = 0
1764.79/1552.06 c (19,0) x[842] = 0
1764.79/1552.06 c (19,0) x[843] = 0
1764.79/1552.06 c (19,0) x[844] = 0
1764.79/1552.06 c (19,0) x[845] = 0
1764.79/1552.06 c (19,0) x[846] = 0
1764.79/1552.06 c (19,0) x[847] = 0
1764.79/1552.06 c (19,0) x[848] = 0
1764.79/1552.06 c (19,0) x[849] = 0
1764.79/1552.06 c (19,0) x[850] = 0
1764.79/1552.06 c (19,0) x[851] = 0
1764.79/1552.06 c (19,0) x[852] = 0
1764.79/1552.06 c (19,0) x[853] = 0
1764.79/1552.06 c (19,0) x[854] = 0
1764.79/1552.06 c (19,0) x[855] = 0
1764.79/1552.06 c (19,0) x[856] = 0
1764.79/1552.06 c (19,0) x[857] = 0
1764.79/1552.06 c (19,0) x[858] = 0
1764.79/1552.06 c (19,0) x[859] = 0
1764.79/1552.06 c (19,0) x[860] = 0
1764.79/1552.06 c (19,0) x[861] = 0
1764.79/1552.06 c (19,0) x[862] = 0
1764.79/1552.06 c (19,0) x[863] = 0
1764.79/1552.06 c (19,0) x[864] = 0
1764.79/1552.06 c (19,0) x[865] = 0
1764.79/1552.06 c (19,0) x[866] = 0
1764.79/1552.06 c (19,0) x[867] = 0
1764.79/1552.06 c (19,0) x[868] = 0
1764.79/1552.06 c (19,0) x[869] = 0
1764.79/1552.06 c (19,0) x[870] = 0
1764.79/1552.06 c (19,0) x[871] = 0
1764.79/1552.06 c (19,0) x[872] = 0
1764.79/1552.06 c (19,0) x[873] = 0
1764.79/1552.06 c (19,0) x[874] = 0
1764.79/1552.06 c (19,0) x[875] = 0
1764.79/1552.06 c (19,0) x[876] = 0
1764.79/1552.06 c (19,0) x[877] = 0
1764.79/1552.06 c (19,0) x[878] = 0
1764.79/1552.06 c (19,0) x[879] = 0
1764.79/1552.06 c (19,0) x[880] = 0
1764.79/1552.06 c (19,0) x[881] = 0
1764.79/1552.06 c (19,0) x[882] = 0
1764.79/1552.06 c (19,0) x[883] = 0
1764.79/1552.06 c (19,0) x[884] = 0
1764.79/1552.06 c (19,0) x[885] = 0
1764.79/1552.06 c (19,0) x[886] = 0
1764.79/1552.06 c (19,0) x[887] = 0
1764.79/1552.06 c (19,0) x[888] = 0
1764.79/1552.06 c (19,0) x[889] = 0
1764.79/1552.06 c (19,0) x[890] = 0
1764.79/1552.06 c (19,0) x[891] = 0
1764.79/1552.06 c (19,0) x[892] = 0
1764.79/1552.06 c (19,0) x[893] = 0
1764.79/1552.06 c (19,0) x[894] = 0
1764.79/1552.06 c (19,0) x[895] = 0
1764.79/1552.06 c (19,0) x[896] = 0
1764.79/1552.06 c (19,0) x[897] = 0
1764.79/1552.06 c (19,0) x[898] = 0
1764.79/1552.06 c (19,0) x[899] = 0
1764.79/1552.06 c (19,0) x[900] = 0
1764.79/1552.06 c (19,0) x[901] = 0
1764.79/1552.06 c (19,0) x[902] = 0
1764.79/1552.06 c (19,0) x[903] = 0
1764.79/1552.06 c (19,0) x[904] = 0
1764.79/1552.06 c (19,0) x[905] = 0
1764.79/1552.06 c (19,0) x[906] = 0
1764.79/1552.06 c (19,0) x[907] = 0
1764.79/1552.06 c (19,0) x[908] = 0
1764.79/1552.06 c (19,0) x[909] = 0
1764.79/1552.06 c (19,0) x[910] = 0
1764.79/1552.06 c (19,0) x[911] = 0
1764.79/1552.06 c (19,0) x[912] = 0
1764.79/1552.06 c (19,0) x[913] = 0
1764.79/1552.06 c (19,0) x[914] = 0
1764.79/1552.06 c (19,0) x[915] = 0
1764.79/1552.06 c (19,0) x[916] = 0
1764.79/1552.06 c (19,0) x[917] = 0
1764.79/1552.06 c (19,0) x[918] = 0
1764.79/1552.06 c (19,0) x[919] = 0
1764.79/1552.06 c (19,0) x[920] = 0
1764.79/1552.06 c (19,0) x[921] = 0
1764.79/1552.06 c (19,0) x[922] = 0
1764.79/1552.06 c (19,0) x[923] = 0
1764.79/1552.06 c (19,0) x[924] = 0
1764.79/1552.06 c (19,0) x[925] = 0
1764.79/1552.06 c (19,0) x[926] = 0
1764.79/1552.06 c (19,0) x[927] = 0
1764.79/1552.06 c (19,0) x[928] = 0
1764.79/1552.06 c (19,0) x[929] = 0
1764.79/1552.06 c (19,0) x[930] = 0
1764.79/1552.06 c (19,0) x[931] = 0
1764.79/1552.06 c (19,0) x[932] = 0
1764.79/1552.06 c (19,0) x[933] = 0
1764.79/1552.06 c (19,0) x[934] = 0
1764.79/1552.06 c (19,0) x[935] = 0
1764.79/1552.06 c (19,0) x[936] = 0
1764.79/1552.06 c (19,0) x[937] = 0
1764.79/1552.06 c (19,0) x[938] = 0
1764.79/1552.06 c (19,0) x[939] = 0
1764.79/1552.06 c (19,0) x[940] = 0
1764.79/1552.06 c (19,0) x[941] = 0
1764.79/1552.06 c (19,0) x[942] = 0
1764.79/1552.06 c (19,0) x[943] = 0
1764.79/1552.06 c (19,0) x[944] = 0
1764.79/1552.06 c (19,0) x[945] = 0
1764.79/1552.06 c (19,0) x[946] = 0
1764.79/1552.06 c (19,0) x[947] = 0
1764.79/1552.06 c (19,0) x[948] = 0
1764.79/1552.06 c (19,0) x[949] = 0
1764.79/1552.06 c (19,0) x[950] = 0
1764.79/1552.06 c (19,0) x[951] = 0
1764.79/1552.06 c (19,0) x[952] = 0
1764.79/1552.06 c (19,0) x[953] = 0
1764.79/1552.06 c (19,0) x[954] = 0
1764.79/1552.06 c (19,0) x[955] = 0
1764.79/1552.06 c (19,0) x[956] = 0
1764.79/1552.06 c (19,0) x[957] = 0
1764.79/1552.06 c (19,0) x[958] = 0
1764.79/1552.06 c (19,0) x[959] = 0
1764.79/1552.06 c (19,0) x[960] = 0
1764.79/1552.06 c (19,0) x[961] = 0
1764.79/1552.06 c (19,0) x[962] = 0
1764.79/1552.06 c (19,0) x[963] = 0
1764.79/1552.06 c (19,0) x[964] = 0
1764.79/1552.06 c (19,0) x[965] = 0
1764.79/1552.06 c (19,0) x[966] = 0
1764.79/1552.06 c (19,0) x[967] = 0
1764.79/1552.06 c (19,0) x[968] = 0
1764.79/1552.06 c (19,0) x[969] = 0
1764.79/1552.06 c (19,0) x[970] = 0
1764.79/1552.06 c (19,0) x[971] = 0
1764.79/1552.06 c (19,0) x[972] = 0
1764.79/1552.06 c (19,0) x[973] = 0
1764.79/1552.06 c (19,0) x[974] = 0
1764.79/1552.06 c (19,0) x[975] = 0
1764.79/1552.06 c (19,0) x[976] = 0
1764.79/1552.06 c (19,0) x[977] = 0
1764.79/1552.06 c (19,0) x[978] = 0
1764.79/1552.06 c (19,0) x[979] = 0
1764.79/1552.06 c (19,0) x[980] = 0
1764.79/1552.06 c (19,0) x[981] = 0
1764.79/1552.06 c (19,0) x[982] = 0
1764.79/1552.06 c (19,0) x[983] = 0
1764.79/1552.06 c (19,0) x[984] = 0
1764.79/1552.06 c (19,0) x[985] = 0
1764.79/1552.06 c (19,0) x[986] = 0
1764.79/1552.06 c (19,0) x[987] = 0
1764.79/1552.06 c (19,0) x[988] = 0
1764.79/1552.06 c (19,0) x[989] = 0
1764.79/1552.06 c (19,0) x[990] = 0
1764.79/1552.06 c (19,0) x[991] = 0
1764.79/1552.06 c (19,0) x[992] = 0
1764.79/1552.06 c (19,0) x[993] = 0
1764.79/1552.06 c (19,0) x[994] = 0
1764.79/1552.06 c (19,0) x[995] = 0
1764.79/1552.06 c (19,0) x[996] = 1
1764.79/1552.06 c (19,0) x[997] = 0
1764.79/1552.06 c (19,0) x[998] = 0
1764.79/1552.06 c (19,0) x[999] = 0
1764.79/1552.06 s SATISFIABLE
1764.79/1552.06 v <instantiation>
1764.79/1552.06 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999]</list>
1764.79/1552.06 v <values>996 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0</values>
1764.79/1552.06 v </instantiation>
1764.79/1552.06 c (19,0) Show results End
1764.79/1552.06 c (19,0) Heap : 224 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
1764.79/1552.06 c (19,0) 18,19,STOP-AFTER(ALL)
1764.79/1552.06 c END-Prog: Thu Sep 12 14:19:41 CEST 2019
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 (9597 MiB free)
memory of node 1: 16384 MiB (11324 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387705-1568289269/watcher-4387705-1568289269 -o /tmp/evaluation-result-4387705-1568289269/solver-4387705-1568289269 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568286731-10041 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387705-1568289269.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=10534, runsolver pid=10531
[startup+0.10469 s]*
/proc/loadavg: 2.00 2.01 1.96 4/234 10551
/proc/meminfo: memFree=21367116/32770624 swapFree=66999112/67108860
[pid=10534] ppid=10531 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10534/stat : 10534 (scop.sh) S 10531 10534 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404865313 115843072 349 33554432000 4194304 5098028 140735942630816 140735942628072 140559354729084 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20451328 140735942636387 140735942636656 140735942636656 140735942639565 0
/proc/10534/statm: 28282 349 296 221 0 87 0
[pid=10537] ppid=10534 vsize=15012696 memory=71140 CPUtime=0.13 cores=0,2,4,6
/proc/10537/stat : 10537 (java) S 10534 10534 9001 0 -1 1077944320 7048 0 0 0 11 2 0 0 20 0 15 0 404865313 15373000704 17785 33554432000 4194304 4196468 140725764768352 140725764750896 139640917733111 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
/proc/10537/statm: 3753174 17785 2920 1 0 3715579 0
[pid=10537/tid=10538] ppid=10534 vsize=15012696 memory=-6077181931080171463 CPUtime=0.09 cores=0,2,4,6
/proc/10537/task/10538/stat : 10538 (java) R 10534 10534 9001 0 -1 4202560 4834 0 0 0 8 1 0 0 20 0 15 0 404865313 15373000704 17785 33554432000 4194304 4196468 140725764768352 139640889524216 139640898008441 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10539] ppid=10534 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10539/stat : 10539 (java) S 10534 10534 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404865315 15373000704 17785 33554432000 4194304 4196468 140725764768352 139640921975824 139640917743317 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10540] ppid=10534 vsize=15012696 memory=139993669445248 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10540/stat : 10540 (java) S 10534 10534 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404865315 15373000704 17785 33554432000 4194304 4196468 140725764768352 139640736132240 139640917743317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10541] ppid=10534 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10541/stat : 10541 (java) S 10534 10534 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404865315 15373000704 17785 33554432000 4194304 4196468 140725764768352 139640735079184 139640917743317 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10542] ppid=10534 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10542/stat : 10542 (java) S 10534 10534 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404865315 15373000704 17785 33554432000 4194304 4196468 140725764768352 139640734026640 139640917743317 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10543] ppid=10534 vsize=15012696 memory=139993669445248 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10543/stat : 10543 (java) S 10534 10534 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404865316 15373000704 17785 33554432000 4194304 4196468 140725764768352 139639888230640 139640917744258 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10544] ppid=10534 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10544/stat : 10544 (java) S 10534 10534 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404865317 15373000704 17785 33554432000 4194304 4196468 140725764768352 139639520224416 139640917743317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10545] ppid=10534 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10545/stat : 10545 (java) S 10534 10534 9001 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404865317 15373000704 17785 33554432000 4194304 4196468 140725764768352 139639386002160 139640917743317 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10546] ppid=10534 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10546/stat : 10546 (java) S 10534 10534 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404865320 15373000704 17785 33554432000 4194304 4196468 140725764768352 139639011497936 139640917751707 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10547] ppid=10534 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10547/stat : 10547 (java) S 10534 10534 9001 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 404865320 15373000704 17785 33554432000 4194304 4196468 140725764768352 139639887178480 139640917744258 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10548] ppid=10534 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10548/stat : 10548 (java) S 10534 10534 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404865320 15373000704 17785 33554432000 4194304 4196468 140725764768352 139639886125936 139640917744258 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10549] ppid=10534 vsize=15012696 memory=139993669445248 CPUtime=0.01 cores=0,2,4,6
/proc/10537/task/10549/stat : 10549 (java) S 10534 10534 9001 0 -1 1077944384 432 0 0 0 1 0 0 0 20 0 15 0 404865320 15373000704 17785 33554432000 4194304 4196468 140725764768352 139639885072880 139640917744258 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10550] ppid=10534 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10550/stat : 10550 (java) S 10534 10534 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404865320 15373000704 17785 33554432000 4194304 4196468 140725764768352 139638513593184 139640917743317 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10551] ppid=10534 vsize=15012696 memory=139993669445248 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10551/stat : 10551 (java) S 10534 10534 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404865320 15373000704 17785 33554432000 4194304 4196468 140725764768352 139639884020272 139640917744258 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 72536 KiB
[startup+0.210756 s]*
/proc/loadavg: 2.00 2.01 1.96 3/234 10551
/proc/meminfo: memFree=21348200/32770624 swapFree=66999112/67108860
[pid=10534] ppid=10531 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10534/stat : 10534 (scop.sh) S 10531 10534 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404865313 115843072 349 33554432000 4194304 5098028 140735942630816 140735942628072 140559354729084 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20451328 140735942636387 140735942636656 140735942636656 140735942639565 0
/proc/10534/statm: 28282 349 296 221 0 87 0
[pid=10537] ppid=10534 vsize=15012696 memory=85700 CPUtime=0.25 cores=0,2,4,6
/proc/10537/stat : 10537 (java) S 10534 10534 9001 0 -1 1077944320 12060 0 0 0 22 3 0 0 20 0 15 0 404865313 15373000704 21425 33554432000 4194304 4196468 140725764768352 140725764750896 139640917733111 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
/proc/10537/statm: 3753174 21425 2923 1 0 3715579 0
[pid=10537/tid=10538] ppid=10534 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/10537/task/10538/stat : 10538 (java) R 10534 10534 9001 0 -1 4202560 9803 0 0 0 17 2 0 0 20 0 15 0 404865313 15373000704 21490 33554432000 4194304 4196468 140725764768352 139640889556688 139640901813598 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10539] ppid=10534 vsize=15012696 memory=398 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10539/stat : 10539 (java) S 10534 10534 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404865315 15373000704 21490 33554432000 4194304 4196468 140725764768352 139640921975824 139640917743317 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10540] ppid=10534 vsize=15012696 memory=288370369821156992 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10540/stat : 10540 (java) S 10534 10534 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404865315 15373000704 21490 33554432000 4194304 4196468 140725764768352 139640736132240 139640917743317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10541] ppid=10534 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10541/stat : 10541 (java) S 10534 10534 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404865315 15373000704 21490 33554432000 4194304 4196468 140725764768352 139640735079184 139640917743317 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10542] ppid=10534 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10542/stat : 10542 (java) S 10534 10534 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404865315 15373000704 21490 33554432000 4194304 4196468 140725764768352 139640734026640 139640917743317 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10543] ppid=10534 vsize=15012696 memory=139993669445248 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10543/stat : 10543 (java) S 10534 10534 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404865316 15373000704 21490 33554432000 4194304 4196468 140725764768352 139639888230640 139640917744258 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10544] ppid=10534 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10544/stat : 10544 (java) S 10534 10534 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404865317 15373000704 21490 33554432000 4194304 4196468 140725764768352 139639520224416 139640917743317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10545] ppid=10534 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10545/stat : 10545 (java) S 10534 10534 9001 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404865317 15373000704 21490 33554432000 4194304 4196468 140725764768352 139639386002160 139640917743317 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10546] ppid=10534 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10546/stat : 10546 (java) S 10534 10534 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404865320 15373000704 21490 33554432000 4194304 4196468 140725764768352 139639011497936 139640917751707 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10547] ppid=10534 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10537/task/10547/stat : 10547 (java) S 10534 10534 9001 0 -1 1077944384 438 0 0 0 1 0 0 0 20 0 15 0 404865320 15373000704 21490 33554432000 4194304 4196468 140725764768352 139639887178480 139640917744258 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10548] ppid=10534 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10548/stat : 10548 (java) S 10534 10534 9001 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 404865320 15373000704 21490 33554432000 4194304 4196468 140725764768352 139639886125936 139640917744258 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10549] ppid=10534 vsize=15012696 memory=139993669445248 CPUtime=0.02 cores=0,2,4,6
/proc/10537/task/10549/stat : 10549 (java) S 10534 10534 9001 0 -1 1077944384 439 0 0 0 2 0 0 0 20 0 15 0 404865320 15373000704 21490 33554432000 4194304 4196468 140725764768352 139639885072880 139640917744258 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10550] ppid=10534 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10550/stat : 10550 (java) S 10534 10534 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404865320 15373000704 21490 33554432000 4194304 4196468 140725764768352 139638513593184 139640917743317 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10551] ppid=10534 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10551/stat : 10551 (java) S 10534 10534 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404865320 15373000704 21490 33554432000 4194304 4196468 140725764768352 139639884020272 139640917744258 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87096 KiB
[startup+0.310587 s]*
/proc/loadavg: 2.00 2.01 1.96 3/234 10551
/proc/meminfo: memFree=21345780/32770624 swapFree=66999112/67108860
[pid=10534] ppid=10531 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10534/stat : 10534 (scop.sh) S 10531 10534 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404865313 115843072 349 33554432000 4194304 5098028 140735942630816 140735942628072 140559354729084 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20451328 140735942636387 140735942636656 140735942636656 140735942639565 0
/proc/10534/statm: 28282 349 296 221 0 87 0
[pid=10537] ppid=10534 vsize=15012696 memory=90176 CPUtime=0.43 cores=0,2,4,6
/proc/10537/stat : 10537 (java) S 10534 10534 9001 0 -1 1077944320 12567 0 0 0 39 4 0 0 20 0 15 0 404865313 15373000704 22544 33554432000 4194304 4196468 140725764768352 140725764750896 139640917733111 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
/proc/10537/statm: 3753174 22544 3067 1 0 3715579 0
[pid=10537/tid=10538] ppid=10534 vsize=15012696 memory=7022364632946311227 CPUtime=0.3 cores=0,2,4,6
/proc/10537/task/10538/stat : 10538 (java) R 10534 10534 9001 0 -1 4202560 10105 0 0 0 27 3 0 0 20 0 15 0 404865313 15373000704 22544 33554432000 4194304 4196468 140725764768352 139640889551360 139640917746960 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10539] ppid=10534 vsize=15012696 memory=288230613314699634 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10539/stat : 10539 (java) S 10534 10534 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404865315 15373000704 22544 33554432000 4194304 4196468 140725764768352 139640921975824 139640917743317 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10540] ppid=10534 vsize=15012696 memory=288230376154648929 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10540/stat : 10540 (java) S 10534 10534 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404865315 15373000704 22544 33554432000 4194304 4196468 140725764768352 139640736132240 139640917743317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10541] ppid=10534 vsize=15012696 memory=279987039271280 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10541/stat : 10541 (java) S 10534 10534 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404865315 15373000704 22544 33554432000 4194304 4196468 140725764768352 139640735079184 139640917743317 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10542] ppid=10534 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10542/stat : 10542 (java) S 10534 10534 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404865315 15373000704 22544 33554432000 4194304 4196468 140725764768352 139640734026640 139640917743317 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10543] ppid=10534 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10543/stat : 10543 (java) S 10534 10534 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404865316 15373000704 22544 33554432000 4194304 4196468 140725764768352 139639888230640 139640917744258 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10544] ppid=10534 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10544/stat : 10544 (java) S 10534 10534 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404865317 15373000704 22544 33554432000 4194304 4196468 140725764768352 139639520224416 139640917743317 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10545] ppid=10534 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10545/stat : 10545 (java) S 10534 10534 9001 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404865317 15373000704 22544 33554432000 4194304 4196468 140725764768352 139639386002160 139640917743317 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10546] ppid=10534 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10546/stat : 10546 (java) S 10534 10534 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404865320 15373000704 22544 33554432000 4194304 4196468 140725764768352 139639011497936 139640917751707 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10547] ppid=10534 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10537/task/10547/stat : 10547 (java) S 10534 10534 9001 0 -1 1077944384 486 0 0 0 2 0 0 0 20 0 15 0 404865320 15373000704 22544 33554432000 4194304 4196468 140725764768352 139639887178480 139640917744258 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10548] ppid=10534 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10537/task/10548/stat : 10548 (java) S 10534 10534 9001 0 -1 1077944384 138 0 0 0 2 0 0 0 20 0 15 0 404865320 15373000704 22544 33554432000 4194304 4196468 140725764768352 139639886125936 139640917744258 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10549] ppid=10534 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10537/task/10549/stat : 10549 (java) S 10534 10534 9001 0 -1 1077944384 487 0 0 0 7 0 0 0 20 0 15 0 404865320 15373000704 22544 33554432000 4194304 4196468 140725764768352 139639885072880 139640917744258 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10550] ppid=10534 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10550/stat : 10550 (java) S 10534 10534 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404865320 15373000704 22544 33554432000 4194304 4196468 140725764768352 139638513593184 139640917743317 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10551] ppid=10534 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10551/stat : 10551 (java) S 10534 10534 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404865320 15373000704 22544 33554432000 4194304 4196468 140725764768352 139639884020272 139640917744258 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91572 KiB
[startup+0.702003 s]
/proc/loadavg: 2.00 2.01 1.96 3/234 10551
/proc/meminfo: memFree=21323704/32770624 swapFree=66999112/67108860
[pid=10534] ppid=10531 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10534/stat : 10534 (scop.sh) S 10531 10534 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404865313 115843072 349 33554432000 4194304 5098028 140735942630816 140735942628072 140559354729084 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20451328 140735942636387 140735942636656 140735942636656 140735942639565 0
/proc/10534/statm: 28282 349 296 221 0 87 0
[pid=10537] ppid=10534 vsize=15018968 memory=125040 CPUtime=1.03 cores=0,2,4,6
/proc/10537/stat : 10537 (java) S 10534 10534 9001 0 -1 1077944320 20102 0 0 0 97 6 0 0 20 0 15 0 404865313 15379423232 31260 33554432000 4194304 4196468 140725764768352 140725764750896 139640917733111 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
/proc/10537/statm: 3754742 31260 3183 1 0 3716091 0
[pid=10537/tid=10538] ppid=10534 vsize=15018968 memory=1540 CPUtime=0.68 cores=0,2,4,6
/proc/10537/task/10538/stat : 10538 (java) R 10534 10534 9001 0 -1 1077944384 17142 0 0 0 63 5 0 0 20 0 15 0 404865313 15379423232 31260 33554432000 4194304 4196468 140725764768352 139640889570656 139640917743317 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10539] ppid=10534 vsize=15018968 memory=772 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10539/stat : 10539 (java) S 10534 10534 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404865315 15379423232 31260 33554432000 4194304 4196468 140725764768352 139640921975824 139640917743317 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10540] ppid=10534 vsize=15018968 memory=10500 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10540/stat : 10540 (java) S 10534 10534 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404865315 15379423232 31260 33554432000 4194304 4196468 140725764768352 139640736132240 139640917743317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10541] ppid=10534 vsize=15018968 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10541/stat : 10541 (java) S 10534 10534 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404865315 15379423232 31260 33554432000 4194304 4196468 140725764768352 139640735079184 139640917743317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10542] ppid=10534 vsize=15018968 memory=988 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10542/stat : 10542 (java) S 10534 10534 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404865315 15379423232 31260 33554432000 4194304 4196468 140725764768352 139640734026640 139640917743317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10543] ppid=10534 vsize=15018968 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10543/stat : 10543 (java) S 10534 10534 9001 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404865316 15379423232 31260 33554432000 4194304 4196468 140725764768352 139639888230640 139640917744258 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10544] ppid=10534 vsize=15018968 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10544/stat : 10544 (java) S 10534 10534 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404865317 15379423232 31260 33554432000 4194304 4196468 140725764768352 139639520224416 139640917743317 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10545] ppid=10534 vsize=15018968 memory=1048 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10545/stat : 10545 (java) S 10534 10534 9001 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404865317 15379423232 31260 33554432000 4194304 4196468 140725764768352 139639386002160 139640917743317 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10546] ppid=10534 vsize=15018968 memory=5888 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10546/stat : 10546 (java) S 10534 10534 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404865320 15379423232 31260 33554432000 4194304 4196468 140725764768352 139639011497936 139640917751707 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10547] ppid=10534 vsize=15018968 memory=612 CPUtime=0.08 cores=0,2,4,6
/proc/10537/task/10547/stat : 10547 (java) R 10534 10534 9001 0 -1 4202560 726 0 0 0 8 0 0 0 20 0 15 0 404865320 15379423232 31260 33554432000 4194304 4196468 140725764768352 139639887178480 139640902859211 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10548] ppid=10534 vsize=15018968 memory=1220 CPUtime=0.07 cores=0,2,4,6
/proc/10537/task/10548/stat : 10548 (java) R 10534 10534 9001 0 -1 4202560 225 0 0 0 7 0 0 0 20 0 15 0 404865320 15379423232 31260 33554432000 4194304 4196468 140725764768352 139639886117264 139640903414550 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10549] ppid=10534 vsize=15018968 memory=14004 CPUtime=0.16 cores=0,2,4,6
/proc/10537/task/10549/stat : 10549 (java) R 10534 10534 9001 0 -1 4202560 655 0 0 0 16 0 0 0 20 0 15 0 404865320 15379423232 31260 33554432000 4194304 4196468 140725764768352 139639885069616 139640917745046 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10550] ppid=10534 vsize=15018968 memory=14060 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10550/stat : 10550 (java) S 10534 10534 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404865320 15379423232 31260 33554432000 4194304 4196468 140725764768352 139638513593184 139640917743317 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
[pid=10537/tid=10551] ppid=10534 vsize=15018968 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/10537/task/10551/stat : 10551 (java) S 10534 10534 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404865320 15379423232 31260 33554432000 4194304 4196468 140725764768352 139639884020272 139640917744258 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36986880 140725764772649 140725764773018 140725764773018 140725764775887 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 126436 KiB
[startup+1.5008 s]
/proc/loadavg: 2.00 2.01 1.96 5/234 10551
/proc/meminfo: memFree=21267384/32770624 swapFree=66999112/67108860
[pid=10534] ppid=10531 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10534/stat : 10534 (scop.sh) S 10531 10534 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404865313 115843072 349 33554432000 4194304 5098028 140735942630816 140735942628072 140559354729084 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20451328 140735942636387 140735942636656 140735942636656 140735942639565 0
/proc/10534/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=10909/tid=10921] ppid=10534 vsize=8068440 memory=1305984 CPUtime=0.35 cores=0,2,4,6
/proc/10909/task/10921/stat : 10921 (java) S 10534 10534 9001 0 -1 1077944384 1944 0 0 0 35 0 0 0 20 0 19 0 405018570 8262082560 348025 33554432000 4194304 4196468 140737323597488 140085312829424 140086071925378 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10922] ppid=10534 vsize=8068440 memory=36680 CPUtime=0 cores=0,2,4,6
/proc/10909/task/10922/stat : 10922 (java) S 10534 10534 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405018570 8262082560 348025 33554432000 4194304 4196468 140737323597488 140083780905312 140086071924437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10923] ppid=10534 vsize=8068440 memory=988 CPUtime=0 cores=0,2,4,6
/proc/10909/task/10923/stat : 10923 (java) S 10534 10534 9001 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 405018571 8262082560 348025 33554432000 4194304 4196468 140737323597488 140085311777840 140086071925378 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 84 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10925] ppid=10534 vsize=8068440 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/10909/task/10925/stat : 10925 (java) S 10534 10534 9001 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405018652 8262082560 348025 33554432000 4194304 4196468 140737323597488 140085391980352 140086071938841 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10927] ppid=10534 vsize=8068440 memory=1424 CPUtime=3.78 cores=0,2,4,6
/proc/10909/task/10927/stat : 10927 (java) S 10534 10534 9001 0 -1 4202560 1246 0 0 0 361 17 0 0 20 0 19 0 405018652 8262082560 348025 33554432000 4194304 4196468 140737323597488 140083244019920 140086071936157 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10928] ppid=10534 vsize=8068440 memory=1540 CPUtime=0 cores=0,2,4,6
/proc/10909/task/10928/stat : 10928 (java) S 10534 10534 9001 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 405018652 8262082560 348025 33554432000 4194304 4196468 140737323597488 140083378241040 140086071936157 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10929] ppid=10534 vsize=8068440 memory=772 CPUtime=0 cores=0,2,4,6
/proc/10909/task/10929/stat : 10929 (java) S 10534 10534 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405018655 8262082560 348025 33554432000 4194304 4196468 140737323597488 140082975595824 140086071924437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
Current children cumulated CPU time: 1763.71 s
Current children cumulated vsize: 10384452 KiB
Current children cumulated memory: 3363180 KiB
[startup+1551.6 s]
/proc/loadavg: 2.27 2.04 1.98 7/239 10929
/proc/meminfo: memFree=12461004/32770624 swapFree=66999124/67108860
[pid=10534] ppid=10531 vsize=113128 memory=1476 CPUtime=1740.36 cores=0,2,4,6
/proc/10534/stat : 10534 (scop.sh) S 10531 10534 9001 0 -1 4202496 583 317679 0 0 0 0 173081 955 20 0 1 0 404865313 115843072 369 33554432000 4194304 5098028 140735942630816 140735942627560 140559354729084 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20451328 140735942636387 140735942636656 140735942636656 140735942639565 0
/proc/10534/statm: 28282 369 311 221 0 87 0
[pid=10909] ppid=10534 vsize=8068440 memory=1392100 CPUtime=7.61 cores=0,2,4,6
/proc/10909/stat : 10909 (java) S 10534 10534 9001 0 -1 1077944320 28565 0 0 0 707 54 0 0 20 0 19 0 405018563 8262082560 348025 33554432000 4194304 4196468 140737323597488 140737323580032 140086071914231 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
/proc/10909/statm: 2017110 348025 3265 1 0 1978454 0
[pid=10924] ppid=10909 vsize=2202884 memory=1969604 CPUtime=16.14 cores=0,2,4,6
/proc/10924/stat : 10924 (cryptominisat5) R 10909 10534 9001 0 -1 4202496 768380 0 0 0 1472 142 0 0 20 0 1 0 405018651 2255753216 492401 33554432000 4194304 4451008 140728530183776 140728530181064 140121812971118 0 4 0 2 0 0 0 17 2 0 0 0 0 0 6549032 6559120 9019392 140728530191292 140728530191424 140728530191424 140728530194374 0
/proc/10924/statm: 550721 492401 688 63 0 544448 0
[pid=10909/tid=10910] ppid=10534 vsize=8068440 memory=932 CPUtime=0.91 cores=0,2,4,6
/proc/10909/task/10910/stat : 10910 (java) S 10534 10534 9001 0 -1 1077944384 17284 0 0 0 79 12 0 0 20 0 19 0 405018564 8262082560 348025 33554432000 4194304 4196468 140737323597488 140086043754400 140086071924437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10911] ppid=10534 vsize=8068440 memory=3680 CPUtime=0.23 cores=0,2,4,6
/proc/10909/task/10911/stat : 10911 (java) S 10534 10534 9001 0 -1 1077944384 646 0 0 0 19 4 0 0 20 0 19 0 405018565 8262082560 348025 33554432000 4194304 4196468 140737323597488 140086076156432 140086071924437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10912] ppid=10534 vsize=8068440 memory=864 CPUtime=0.32 cores=0,2,4,6
/proc/10909/task/10912/stat : 10912 (java) S 10534 10534 9001 0 -1 1077944384 285 0 0 0 26 6 0 0 20 0 19 0 405018565 8262082560 348025 33554432000 4194304 4196468 140737323597488 140085876325008 140086071924437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10913] ppid=10534 vsize=8068440 memory=1436 CPUtime=0.24 cores=0,2,4,6
/proc/10909/task/10913/stat : 10913 (java) S 10534 10534 9001 0 -1 1077944384 224 0 0 0 19 5 0 0 20 0 19 0 405018565 8262082560 348025 33554432000 4194304 4196468 140737323597488 140085875271952 140086071924437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10914] ppid=10534 vsize=8068440 memory=10500 CPUtime=0.33 cores=0,2,4,6
/proc/10909/task/10914/stat : 10914 (java) S 10534 10534 9001 0 -1 1077944384 548 0 0 0 27 6 0 0 20 0 19 0 405018565 8262082560 348025 33554432000 4194304 4196468 140737323597488 140085874219408 140086071924437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10915] ppid=10534 vsize=8068440 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/10909/task/10915/stat : 10915 (java) S 10534 10534 9001 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 19 0 405018567 8262082560 348025 33554432000 4194304 4196468 140737323597488 140085315988208 140086071925378 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10916] ppid=10534 vsize=8068440 memory=988 CPUtime=0 cores=0,2,4,6
/proc/10909/task/10916/stat : 10916 (java) S 10534 10534 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405018567 8262082560 348025 33554432000 4194304 4196468 140737323597488 140084921755296 140086071924437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10917] ppid=10534 vsize=8068440 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/10909/task/10917/stat : 10917 (java) S 10534 10534 9001 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405018567 8262082560 348025 33554432000 4194304 4196468 140737323597488 140084653319408 140086071924437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10918] ppid=10534 vsize=8068440 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/10909/task/10918/stat : 10918 (java) S 10534 10534 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405018570 8262082560 348025 33554432000 4194304 4196468 140737323597488 140084278811088 140086071932827 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10919] ppid=10534 vsize=8068440 memory=1048 CPUtime=0.67 cores=0,2,4,6
/proc/10909/task/10919/stat : 10919 (java) S 10534 10534 9001 0 -1 1077944384 2415 0 0 0 67 0 0 0 20 0 19 0 405018570 8262082560 348025 33554432000 4194304 4196468 140737323597488 140085314935024 140086071925378 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10920] ppid=10534 vsize=8068440 memory=5888 CPUtime=0.68 cores=0,2,4,6
/proc/10909/task/10920/stat : 10920 (java) S 10534 10534 9001 0 -1 1077944384 2290 0 0 0 68 0 0 0 20 0 19 0 405018570 8262082560 348025 33554432000 4194304 4196468 140737323597488 140085313882480 140086071925378 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10921] ppid=10534 vsize=8068440 memory=612 CPUtime=0.35 cores=0,2,4,6
/proc/10909/task/10921/stat : 10921 (java) S 10534 10534 9001 0 -1 1077944384 1944 0 0 0 35 0 0 0 20 0 19 0 405018570 8262082560 348025 33554432000 4194304 4196468 140737323597488 140085312829424 140086071925378 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10922] ppid=10534 vsize=8068440 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/10909/task/10922/stat : 10922 (java) S 10534 10534 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405018570 8262082560 348025 33554432000 4194304 4196468 140737323597488 140083780905312 140086071924437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10923] ppid=10534 vsize=8068440 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/10909/task/10923/stat : 10923 (java) S 10534 10534 9001 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 405018571 8262082560 348025 33554432000 4194304 4196468 140737323597488 140085311777840 140086071925378 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 84 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10925] ppid=10534 vsize=8068440 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/10909/task/10925/stat : 10925 (java) S 10534 10534 9001 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405018652 8262082560 348025 33554432000 4194304 4196468 140737323597488 140085391980352 140086071938841 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10927] ppid=10534 vsize=8068440 memory=4872558044660077418 CPUtime=3.78 cores=0,2,4,6
/proc/10909/task/10927/stat : 10927 (java) S 10534 10534 9001 0 -1 4202560 1246 0 0 0 361 17 0 0 20 0 19 0 405018652 8262082560 348025 33554432000 4194304 4196468 140737323597488 140083244019920 140086071936157 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10928] ppid=10534 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/10909/task/10928/stat : 10928 (java) S 10534 10534 9001 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 405018652 8262082560 348025 33554432000 4194304 4196468 140737323597488 140083378241040 140086071936157 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10929] ppid=10534 vsize=8068440 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/10909/task/10929/stat : 10929 (java) S 10534 10534 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405018655 8262082560 348025 33554432000 4194304 4196468 140737323597488 140082975595824 140086071924437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
Current children cumulated CPU time: 1764.11 s
Current children cumulated vsize: 10384452 KiB
Current children cumulated memory: 3363180 KiB
[startup+1552 s]*
/proc/loadavg: 2.25 2.04 1.98 3/236 10929
/proc/meminfo: memFree=14435360/32770624 swapFree=66999124/67108860
[pid=10534] ppid=10531 vsize=113128 memory=1476 CPUtime=1740.36 cores=0,2,4,6
/proc/10534/stat : 10534 (scop.sh) S 10531 10534 9001 0 -1 4202496 583 317679 0 0 0 0 173081 955 20 0 1 0 404865313 115843072 369 33554432000 4194304 5098028 140735942630816 140735942627560 140559354729084 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20451328 140735942636387 140735942636656 140735942636656 140735942639565 0
/proc/10534/statm: 28282 369 311 221 0 87 0
[pid=10909] ppid=10534 vsize=7937364 memory=1391680 CPUtime=24.43 cores=0,2,4,6
/proc/10909/stat : 10909 (java) S 10534 10534 9001 0 -1 1077944320 32376 785864 0 0 753 55 1484 151 20 0 17 0 405018563 8127860736 347920 33554432000 4194304 4196468 140737323597488 140737323580032 140086071914231 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
/proc/10909/statm: 1984341 347920 3270 1 0 1945685 0
[pid=10909/tid=10910] ppid=10534 vsize=7937364 memory=6791534058613427641 CPUtime=17.47 cores=0,2,4,6
/proc/10909/task/10910/stat : 10910 (java) R 10534 10534 9001 0 -1 4202560 18171 785864 0 0 100 12 1484 151 20 0 17 0 405018564 8127860736 347920 33554432000 4194304 4196468 140737323597488 140086043748896 140086071928135 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10911] ppid=10534 vsize=7937364 memory=864 CPUtime=16.58 cores=0,2,4,6
/proc/10909/task/10911/stat : 10911 (java) S 10534 10534 9001 0 -1 1077944384 646 785864 0 0 19 4 1484 151 20 0 17 0 405018565 8127860736 347920 33554432000 4194304 4196468 140737323597488 140086076156432 140086071924437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10912] ppid=10534 vsize=7937364 memory=1436 CPUtime=16.67 cores=0,2,4,6
/proc/10909/task/10912/stat : 10912 (java) S 10534 10534 9001 0 -1 1077944384 285 785864 0 0 26 6 1484 151 20 0 17 0 405018565 8127860736 347920 33554432000 4194304 4196468 140737323597488 140085876325008 140086071924437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10913] ppid=10534 vsize=7937364 memory=1476 CPUtime=16.59 cores=0,2,4,6
/proc/10909/task/10913/stat : 10913 (java) S 10534 10534 9001 0 -1 1077944384 224 785864 0 0 19 5 1484 151 20 0 17 0 405018565 8127860736 347920 33554432000 4194304 4196468 140737323597488 140085875271952 140086071924437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10914] ppid=10534 vsize=7937364 memory=4872558044660077418 CPUtime=16.68 cores=0,2,4,6
/proc/10909/task/10914/stat : 10914 (java) S 10534 10534 9001 0 -1 1077944384 548 785864 0 0 27 6 1484 151 20 0 17 0 405018565 8127860736 347920 33554432000 4194304 4196468 140737323597488 140085874219408 140086071924437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10915] ppid=10534 vsize=7937364 memory=1969604 CPUtime=16.35 cores=0,2,4,6
/proc/10909/task/10915/stat : 10915 (java) S 10534 10534 9001 0 -1 1077944384 289 785864 0 0 0 0 1484 151 20 0 17 0 405018567 8127860736 347920 33554432000 4194304 4196468 140737323597488 140085315988208 140086071925378 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10916] ppid=10534 vsize=7937364 memory=2809108 CPUtime=16.35 cores=0,2,4,6
/proc/10909/task/10916/stat : 10916 (java) S 10534 10534 9001 0 -1 1077944384 13 785864 0 0 0 0 1484 151 20 0 17 0 405018567 8127860736 347920 33554432000 4194304 4196468 140737323597488 140084921755296 140086071924437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10917] ppid=10534 vsize=7937364 memory=988 CPUtime=16.35 cores=0,2,4,6
/proc/10909/task/10917/stat : 10917 (java) S 10534 10534 9001 0 -1 1077944384 4 785864 0 0 0 0 1484 151 20 0 17 0 405018567 8127860736 347920 33554432000 4194304 4196468 140737323597488 140084653319408 140086071924437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10918] ppid=10534 vsize=7937364 memory=4004 CPUtime=16.35 cores=0,2,4,6
/proc/10909/task/10918/stat : 10918 (java) S 10534 10534 9001 0 -1 1077944384 3 785864 0 0 0 0 1484 151 20 0 17 0 405018570 8127860736 347920 33554432000 4194304 4196468 140737323597488 140084278811088 140086071932827 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10919] ppid=10534 vsize=7937364 memory=2828 CPUtime=17.12 cores=0,2,4,6
/proc/10909/task/10919/stat : 10919 (java) R 10534 10534 9001 0 -1 4202560 3231 785864 0 0 77 0 1484 151 20 0 17 0 405018570 8127860736 347920 33554432000 4194304 4196468 140737323597488 140085314935024 140086056824155 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10920] ppid=10534 vsize=7937364 memory=1048 CPUtime=17.1 cores=0,2,4,6
/proc/10909/task/10920/stat : 10920 (java) R 10534 10534 9001 0 -1 4202560 2970 785864 0 0 75 0 1484 151 20 0 17 0 405018570 8127860736 347920 33554432000 4194304 4196468 140737323597488 140085313874240 140086057039610 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10921] ppid=10534 vsize=7937364 memory=1804100 CPUtime=16.78 cores=0,2,4,6
/proc/10909/task/10921/stat : 10921 (java) R 10534 10534 9001 0 -1 1077944384 2792 785864 0 0 42 1 1484 151 20 0 17 0 405018570 8127860736 347920 33554432000 4194304 4196468 140737323597488 140085312829424 140086071925378 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10922] ppid=10534 vsize=7937364 memory=804 CPUtime=16.35 cores=0,2,4,6
/proc/10909/task/10922/stat : 10922 (java) S 10534 10534 9001 0 -1 1077944384 3 785864 0 0 0 0 1484 151 20 0 17 0 405018570 8127860736 347920 33554432000 4194304 4196468 140737323597488 140083780905312 140086071924437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10923] ppid=10534 vsize=7937364 memory=1800 CPUtime=16.35 cores=0,2,4,6
/proc/10909/task/10923/stat : 10923 (java) S 10534 10534 9001 0 -1 1077944384 24 785864 0 0 0 0 1484 151 20 0 17 0 405018571 8127860736 347920 33554432000 4194304 4196468 140737323597488 140085311777840 140086071925378 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 84 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10925] ppid=10534 vsize=7937364 memory=920 CPUtime=16.35 cores=0,2,4,6
/proc/10909/task/10925/stat : 10925 (java) S 10534 10534 9001 0 -1 1077944384 171 785864 0 0 0 0 1484 151 20 0 17 0 405018652 8127860736 347920 33554432000 4194304 4196468 140737323597488 140085391979536 140086071925378 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10929] ppid=10534 vsize=7937364 memory=3848 CPUtime=16.35 cores=0,2,4,6
/proc/10909/task/10929/stat : 10929 (java) S 10534 10534 9001 0 -1 1077944384 391 785864 0 0 0 0 1484 151 20 0 17 0 405018655 8127860736 347920 33554432000 4194304 4196468 140737323597488 140082975597616 140086071925378 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
Current children cumulated CPU time: 1764.79 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 1393156 KiB
[startup+1552.11 s]
/proc/loadavg: 2.25 2.04 1.98 3/236 10929
/proc/meminfo: memFree=14435360/32770624 swapFree=66999124/67108860
[pid=10534] ppid=10531 vsize=113128 memory=1476 CPUtime=1740.36 cores=0,2,4,6
/proc/10534/stat : 10534 (scop.sh) S 10531 10534 9001 0 -1 4202496 583 317679 0 0 0 0 173081 955 20 0 1 0 404865313 115843072 369 33554432000 4194304 5098028 140735942630816 140735942627560 140559354729084 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20451328 140735942636387 140735942636656 140735942636656 140735942639565 0
/proc/10534/statm: 28282 369 311 221 0 87 0
[pid=10909] ppid=10534 vsize=7937364 memory=1392504 CPUtime=24.75 cores=0,2,4,6
/proc/10909/stat : 10909 (java) S 10534 10534 9001 0 -1 1077944320 36533 785864 0 0 779 61 1484 151 20 0 17 0 405018563 8127860736 348126 33554432000 4194304 4196468 140737323597488 140737323580032 140086071914231 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
/proc/10909/statm: 1984341 348126 3270 1 0 1945685 0
[pid=10909/tid=10910] ppid=10534 vsize=7937364 memory=1392100 CPUtime=17.57 cores=0,2,4,6
/proc/10909/task/10910/stat : 10910 (java) R 10534 10534 9001 0 -1 4202560 19995 785864 0 0 104 18 1484 151 20 0 17 0 405018564 8127860736 348126 33554432000 4194304 4196468 140737323597488 140086043756008 140086064599863 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10911] ppid=10534 vsize=7937364 memory=1306080 CPUtime=16.58 cores=0,2,4,6
/proc/10909/task/10911/stat : 10911 (java) S 10534 10534 9001 0 -1 1077944384 646 785864 0 0 19 4 1484 151 20 0 17 0 405018565 8127860736 348126 33554432000 4194304 4196468 140737323597488 140086076156432 140086071924437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10912] ppid=10534 vsize=7937364 memory=1390680 CPUtime=16.67 cores=0,2,4,6
/proc/10909/task/10912/stat : 10912 (java) S 10534 10534 9001 0 -1 1077944384 285 785864 0 0 26 6 1484 151 20 0 17 0 405018565 8127860736 348126 33554432000 4194304 4196468 140737323597488 140085876325008 140086071924437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10913] ppid=10534 vsize=7937364 memory=1476 CPUtime=16.59 cores=0,2,4,6
/proc/10909/task/10913/stat : 10913 (java) S 10534 10534 9001 0 -1 1077944384 224 785864 0 0 19 5 1484 151 20 0 17 0 405018565 8127860736 348126 33554432000 4194304 4196468 140737323597488 140085875271952 140086071924437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10914] ppid=10534 vsize=7937364 memory=1476 CPUtime=16.68 cores=0,2,4,6
/proc/10909/task/10914/stat : 10914 (java) S 10534 10534 9001 0 -1 1077944384 548 785864 0 0 27 6 1484 151 20 0 17 0 405018565 8127860736 348126 33554432000 4194304 4196468 140737323597488 140085874219408 140086071924437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10915] ppid=10534 vsize=7937364 memory=1205380 CPUtime=16.35 cores=0,2,4,6
/proc/10909/task/10915/stat : 10915 (java) S 10534 10534 9001 0 -1 1077944384 289 785864 0 0 0 0 1484 151 20 0 17 0 405018567 8127860736 348126 33554432000 4194304 4196468 140737323597488 140085315988208 140086071925378 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10916] ppid=10534 vsize=7937364 memory=1396 CPUtime=16.35 cores=0,2,4,6
/proc/10909/task/10916/stat : 10916 (java) S 10534 10534 9001 0 -1 1077944384 13 785864 0 0 0 0 1484 151 20 0 17 0 405018567 8127860736 348126 33554432000 4194304 4196468 140737323597488 140084921755296 140086071924437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10917] ppid=10534 vsize=7937364 memory=11925820 CPUtime=16.35 cores=0,2,4,6
/proc/10909/task/10917/stat : 10917 (java) S 10534 10534 9001 0 -1 1077944384 4 785864 0 0 0 0 1484 151 20 0 17 0 405018567 8127860736 348126 33554432000 4194304 4196468 140737323597488 140084653319408 140086071924437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10918] ppid=10534 vsize=7937364 memory=1712 CPUtime=16.35 cores=0,2,4,6
/proc/10909/task/10918/stat : 10918 (java) S 10534 10534 9001 0 -1 1077944384 3 785864 0 0 0 0 1484 151 20 0 17 0 405018570 8127860736 348126 33554432000 4194304 4196468 140737323597488 140084278811088 140086071932827 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10919] ppid=10534 vsize=7937364 memory=988 CPUtime=17.22 cores=0,2,4,6
/proc/10909/task/10919/stat : 10919 (java) R 10534 10534 9001 0 -1 4202560 4380 785864 0 0 87 0 1484 151 20 0 17 0 405018570 8127860736 348126 33554432000 4194304 4196468 140737323597488 140085314917504 140086053435062 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10920] ppid=10534 vsize=7937364 memory=2806336 CPUtime=17.21 cores=0,2,4,6
/proc/10909/task/10920/stat : 10920 (java) R 10534 10534 9001 0 -1 4202560 3877 785864 0 0 85 1 1484 151 20 0 17 0 405018570 8127860736 348126 33554432000 4194304 4196468 140737323597488 140085313869680 140086057929856 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10921] ppid=10534 vsize=7937364 memory=1476 CPUtime=16.81 cores=0,2,4,6
/proc/10909/task/10921/stat : 10921 (java) S 10534 10534 9001 0 -1 1077944384 3067 785864 0 0 45 1 1484 151 20 0 17 0 405018570 8127860736 348126 33554432000 4194304 4196468 140737323597488 140085312829424 140086071925378 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10922] ppid=10534 vsize=7937364 memory=3624 CPUtime=16.35 cores=0,2,4,6
/proc/10909/task/10922/stat : 10922 (java) S 10534 10534 9001 0 -1 1077944384 3 785864 0 0 0 0 1484 151 20 0 17 0 405018570 8127860736 348126 33554432000 4194304 4196468 140737323597488 140083780905312 140086071924437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10923] ppid=10534 vsize=7937364 memory=36680 CPUtime=16.35 cores=0,2,4,6
/proc/10909/task/10923/stat : 10923 (java) S 10534 10534 9001 0 -1 1077944384 24 785864 0 0 0 0 1484 151 20 0 17 0 405018571 8127860736 348126 33554432000 4194304 4196468 140737323597488 140085311777840 140086071925378 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 84 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10925] ppid=10534 vsize=7937364 memory=1476 CPUtime=16.35 cores=0,2,4,6
/proc/10909/task/10925/stat : 10925 (java) S 10534 10534 9001 0 -1 1077944384 171 785864 0 0 0 0 1484 151 20 0 17 0 405018652 8127860736 348126 33554432000 4194304 4196468 140737323597488 140085391979536 140086071925378 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
[pid=10909/tid=10929] ppid=10534 vsize=7937364 memory=1476 CPUtime=16.35 cores=0,2,4,6
/proc/10909/task/10929/stat : 10929 (java) S 10534 10534 9001 0 -1 1077944384 391 785864 0 0 0 0 1484 151 20 0 17 0 405018655 8127860736 348126 33554432000 4194304 4196468 140737323597488 140082975597616 140086071925378 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37425152 140737323598843 140737323599002 140737323599002 140737323601871 0
Current children cumulated CPU time: 1765.11 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 1393980 KiB
Child status: 0
Real time (s): 1552.15
CPU time (s): 1765.21
CPU user time (s): 1753.5
CPU system time (s): 11.7078
CPU usage (%): 113.726
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 11927216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1753.5
system time used= 11.7078
maximum resident set size= 11925936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1141029
page faults= 0
swaps= 0
block input operations= 32
block output operations= 868368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56663
involuntary context switches= 4594
# summary of solver processes directly reported to runsolver:
# pid: 10534
# total CPU time (s): 1765.21
# total CPU user time (s): 1753.5
# total CPU system time (s): 11.7078
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.07746 second user time and 16.2797 second system time
The end