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-18781-serial-file.bin HOME/instance-4388236-1568296819.xml
0.65/0.52
0.65/0.52 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.65/0.52
0.65/0.55 c BEGIN-Prog: Thu Sep 12 15:59:41 CEST 2019
0.65/0.55 c PID: 18784
0.65/0.55 c IP: 172.20.3.151
0.65/0.55 c HOST: node151.alineos.net
0.65/0.55 c (0,0) Parsing Begin
4.80/1.91 c (1,1) Parsing End
4.80/1.92 c (1,1) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1309
4.80/1.92 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.80/1.92 c (1,1) Constraint Name Generate Begin
4.80/1.96 c (1,1) Ctr:HOME/instance-4388236-1568296819.xml,Add:Le:Ne:Num:Or:Var
4.80/1.96 c (1,1) Constraint Name Generate End
4.80/1.96 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.80/1.97 c (1,1) CSP to CSPinCNF Begin
5.62/2.23 c (1,1) translated 558 (10%) constraints
5.62/2.29 c (1,1) translated 1116 (20%) constraints
5.94/2.34 c (1,1) translated 1674 (30%) constraints
5.94/2.39 c (1,1) translated 2232 (40%) constraints
6.23/2.43 c (1,1) translated 2790 (50%) constraints
6.23/2.47 c (1,1) translated 3348 (60%) constraints
6.54/2.51 c (1,1) translated 3906 (70%) constraints
6.54/2.54 c (2,2) translated 4464 (80%) constraints
6.54/2.57 c (2,2) translated 5022 (90%) constraints
6.54/2.59 c (2,2) translated 5580 (100%) constraints
6.54/2.59 c (2,2) ===========================================
6.84/2.63 c (2,2) Hybrid: #OE=450, #LE=0
6.84/2.63 c (2,2) Hybrid
6.84/2.63 c (2,2) ===========================================
6.84/2.66 c (2,2) translated 558 (10%) constraints
6.84/2.68 c (2,2) translated 1116 (20%) constraints
7.18/2.70 c (2,2) translated 1674 (30%) constraints
7.18/2.72 c (2,2) translated 2232 (40%) constraints
7.18/2.74 c (2,2) translated 2790 (50%) constraints
7.18/2.75 c (2,2) translated 3348 (60%) constraints
7.18/2.77 c (2,2) translated 3906 (70%) constraints
7.18/2.78 c (2,2) translated 4464 (80%) constraints
7.18/2.79 c (2,2) translated 5022 (90%) constraints
7.40/2.81 c (2,2) translated 5580 (100%) constraints
7.40/2.81 c (2,2) CSP to CSPinCNF End
7.40/2.81 c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1272
7.40/2.81 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
7.40/2.82 c (2,2) CSPinCNF Propagation Begin
7.73/2.91 c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
7.73/2.91 c (2,2) CSPinCNF Propagation End
7.73/2.91 c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1272
7.73/2.91 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.73/2.93 c (2,2) Hybrid: #OE=450, #LE=0
7.73/2.93 c (2,2) Simplify CSPinCNF Begin
8.69/3.23 c (2,2) Simplify CSPinCNF End
8.69/3.23 c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1272
8.69/3.23 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.69/3.23 c (2,2) Calculate Precise Domain Begin
8.69/3.23 c (2,2) 0 values are removed by re-calculation
8.69/3.23 c (2,2) Calculate Precise Domain End
8.69/3.24 c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1272
8.69/3.24 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.69/3.24 c (2,2) CSPinCNF to SatSolver Begin
14.07/6.88 c (6,6) 1548 (10 %) CSP clauses are encoded (0 SAT variables, 1058401 SAT clauses)
16.71/9.77 c (9,8) 3096 (20 %) CSP clauses are encoded (0 SAT variables, 1714558 SAT clauses)
19.14/12.79 c (12,11) 4644 (30 %) CSP clauses are encoded (0 SAT variables, 2391184 SAT clauses)
21.75/15.29 c (14,13) 6192 (40 %) CSP clauses are encoded (0 SAT variables, 3079265 SAT clauses)
24.43/18.48 c (17,15) 7740 (50 %) CSP clauses are encoded (0 SAT variables, 3765099 SAT clauses)
27.24/21.02 c (20,18) 9288 (60 %) CSP clauses are encoded (0 SAT variables, 4461403 SAT clauses)
29.52/23.75 c (23,20) 10836 (70 %) CSP clauses are encoded (0 SAT variables, 5041294 SAT clauses)
31.96/26.12 c (25,22) 12384 (80 %) CSP clauses are encoded (0 SAT variables, 5703695 SAT clauses)
34.71/29.48 c (28,25) 13932 (90 %) CSP clauses are encoded (0 SAT variables, 6398071 SAT clauses)
37.34/32.10 c (31,28) 15480 (100 %) CSP clauses are encoded (0 SAT variables, 7395776 SAT clauses)
37.45/32.69 c (31,28) CSPinCNF to SatSolver End
37.45/32.69 c (31,28) Heap : 700 MiB used (max 11186 MiB), NonHeap : 28 MiB used (max 0 MiB)
37.45/32.69 c (31,28) 377286 bool, 7396275 clause
37.45/32.69 c (31,28) Export Begin
37.46/32.80 c (32,28) Export to HOME/scop-18781-serial-file.bin
37.46/32.80 c (32,28) Export End
37.67/32.80 c (32,28) Export File Size: 0.07 MB
37.67/32.80 c (32,28) 1,1,2,2,2,2,31,STOP-AFTER(DIMACS)
37.67/32.80 c END-Prog: Thu Sep 12 16:00:13 CEST 2019
37.67/32.83 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-18781-serial-file.bin
38.18/33.29 c (0,0) Read Serial File Begin
38.18/33.29 c (0,0) HOME/scop-18781-serial-file.bin
38.67/33.52 c (0,0) Read Serial File End
38.67/33.53
38.67/33.53 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
38.67/33.53 (Solving Process)
38.67/33.53
38.67/33.55 c BEGIN-Prog: Thu Sep 12 16:00:14 CEST 2019
38.67/33.55 c PID: 18908
38.67/33.55 c IP: 172.20.3.151
38.67/33.55 c HOST: node151.alineos.net
38.67/33.56 c (0,0) SatSolver.solve Begin
38.67/33.56 c (0,0) HOME/cryptominisat5 HOME/instance-4388236-1568296819.xml-scop-18784.cnf
38.67/33.59 c (0,0) c Outputting solution to console
38.67/33.59 c (0,0) c CryptoMiniSat version 5.6.8
38.67/33.59 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
38.67/33.59 c (0,0) c CMS SHA revision GIT-notfound
38.67/33.59 c (0,0) c CMS is MIT licensed
38.67/33.59 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
38.67/33.59 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
38.67/33.59 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388236-1568296819.xml-scop-18784.cnf
38.67/33.59 c (0,0) c Reading file 'HOME/instance-4388236-1568296819.xml-scop-18784.cnf'
38.67/33.59 c (0,0) c -- header says num vars: 377286
38.67/33.59 c (0,0) c -- header says num clauses: 7396275
41.69/36.37 c (3,0) c -- clauses added: 7396275
41.69/36.37 c (3,0) c -- xor clauses added: 0
41.69/36.37 c (3,0) c -- vars added 377286
41.69/36.37 c (3,0) c Parsing time: 2.55 s
42.40/37.01 c (3,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
42.40/37.07 c (3,0) c [distill] long cls tried: 6/6 cl-short:6 lit-r:2 T: 0.06 T-out: N T-r: 99.59%
61.09/55.79 c (22,0) c [distill] long cls tried: 556/548 cl-short:556 lit-r:331 T: 3.38 T-out: N T-r: 80.86%
85.11/79.76 c (46,0) c [distill] long cls tried: 687/1209 cl-short:687 lit-r:380 T: 4.51 T-out: N T-r: 74.18%
90.53/85.19 c (51,0) c glue 1 39 8193 256620 6392K 884K 3.00 2.88 1399 2730 3954 75 26.13 25.91
126.64/121.21 c (87,0) c [distill] long cls tried: 2073/3261 cl-short:2073 lit-r:2260 T: 17.42 T-out: N T-r: 0.74%
149.16/143.80 c (110,0) c geom 1 94 16386 256333 6392K 884K 3.00 2.88 3913 5019 7271 125 28.20 28.00
159.77/154.38 c (121,0) c [distill] long cls tried: 803/4040 cl-short:803 lit-r:709 T: 5.71 T-out: N T-r: 66.72%
213.04/207.51 c (174,0) c [distill] long cls tried: 1880/6237 cl-short:1880 lit-r:2378 T: 17.53 T-out: Y T-r: -0.02%
215.85/210.31 c (177,0) c glue 1 135 24K 255942 6392K 884K 3.00 2.88 6329 6258 11691 205 30.32 30.08
270.72/265.19 c (231,0) c [distill] long cls tried: 2161/8909 cl-short:2161 lit-r:2010 T: 17.64 T-out: Y T-r: -0.24%
274.63/269.03 c (235,0) c glue 1 186 32K 255777 6392K 884K 3.00 2.88 9062 8375 12647 293 29.22 28.96
317.16/311.56 c (278,0) c glue 1 228 40K 255709 6392K 884K 3.00 2.88 11610 7200 19405 345 30.15 29.90
337.88/332.27 c (299,0) c [distill] long cls tried: 2180/11623 cl-short:2180 lit-r:2341 T: 17.62 T-out: Y T-r: -0.05%
378.83/373.19 c (339,0) c glue 1 270 49K 255610 6392K 884K 3.00 2.88 12700 10702 18506 434 29.03 28.76
381.73/376.06 c (342,0) c ------- FINAL TOTAL SEARCH STATS ---------
381.73/376.06 c (342,0) c UIP search time : 339.07 (99.25 % time)
381.73/376.06 c (342,0) c restarts : 275 (180.83 confls per restart)
381.73/376.06 c (342,0) c blocked restarts : 0 (0.00 per normal restart)
381.73/376.06 c (342,0) c time : 339.07
381.73/376.06 c (342,0) c decisions : 129756 (0.00 % random)
381.73/376.06 c (342,0) c propagations : 1187376401
381.73/376.06 c (342,0) c decisions/conflicts : 2.61
381.73/376.06 c (342,0) c conflicts : 49728 (146.66 / sec)
381.73/376.06 c (342,0) c conf lits non-minim : 1858989 (37.38 lit/confl)
381.73/376.06 c (342,0) c conf lits final : 31.92
381.73/376.06 c (342,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
381.73/376.06 c (342,0) c red which0 : 7507 (15.10 % of confl)
381.73/376.06 c (342,0) c props/decision : 0.00
381.73/376.06 c (342,0) c props/conflict : 0.00
381.73/376.06 c (342,0) c 0-depth assigns : 121693 (32.25 % vars)
381.73/376.06 c (342,0) c 0-depth assigns by CNF : 120084 (31.83 % vars)
381.73/376.06 c (342,0) c reduceDB time : 0.02 (0.01 % time)
381.73/376.06 c (342,0) c OccSimplifier time : 0.00 (0.00 % time)
381.73/376.06 c (342,0) c [occur] 0.00 is overhead
381.73/376.06 c (342,0) c [occur] link-in T: 0.00 cleanup T: 0.00
381.73/376.06 c (342,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
381.73/376.06 c (342,0) c SCC time : 0.00 (0.00 % time)
381.73/376.06 c (342,0) c [scc] new: 0 BP 0M T: 0.00
381.73/376.06 c (342,0) c vrep replace time : 0.00 (0.00 % time)
381.73/376.06 c (342,0) c vrep tree roots : 0
381.73/376.06 c (342,0) c vrep trees' crown : 0 (0.00 leafs/tree)
381.73/376.06 c (342,0) c distill time : 83.88 (24.55 % time)
381.73/376.06 c (342,0) c strength cache-irred time: 0.00 (0.00 % time)
381.73/376.06 c (342,0) c strength cache-red time : 0.00 (0.00 % time)
381.73/376.06 c (342,0) c Conflicts in UIP : 49728 (145.56 confl/time_this_thread)
381.73/376.06 c (342,0) c Mem used : 741.59 MB
381.73/376.06 c (342,0) c Total time (this thread) : 341.63
381.73/376.06 c (342,0) s SATISFIABLE
383.30/376.64 c (343,0) SatSolver.solve End
383.30/376.64 c (343,0) Heap : 267 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
383.30/376.64 c (343,0) Show results Begin
383.48/376.78 c (343,0) x0 = 91
383.48/376.78 c (343,0) x1 = 92
383.48/376.78 c (343,0) x10 = 488
383.48/376.78 c (343,0) x100 = 354
383.48/376.78 c (343,0) x101 = 355
383.48/376.78 c (343,0) x102 = 371
383.48/376.78 c (343,0) x103 = 370
383.48/376.78 c (343,0) x104 = 439
383.48/376.78 c (343,0) x105 = 440
383.48/376.78 c (343,0) x106 = 476
383.48/376.78 c (343,0) x107 = 477
383.48/376.78 c (343,0) x108 = 551
383.48/376.78 c (343,0) x109 = 552
383.48/376.78 c (343,0) x11 = 487
383.48/376.78 c (343,0) x110 = 555
383.48/376.78 c (343,0) x111 = 556
383.48/376.78 c (343,0) x112 = 620
383.48/376.78 c (343,0) x113 = 621
383.48/376.78 c (343,0) x114 = 693
383.48/376.78 c (343,0) x115 = 694
383.48/376.78 c (343,0) x116 = 711
383.48/376.78 c (343,0) x117 = 712
383.48/376.78 c (343,0) x118 = 1267
383.48/376.78 c (343,0) x119 = 1266
383.48/376.78 c (343,0) x12 = 511
383.48/376.78 c (343,0) x120 = 0
383.48/376.78 c (343,0) x121 = 1
383.48/376.78 c (343,0) x122 = 102
383.48/376.78 c (343,0) x123 = 101
383.48/376.78 c (343,0) x124 = 214
383.48/376.78 c (343,0) x125 = 213
383.48/376.78 c (343,0) x126 = 225
383.48/376.78 c (343,0) x127 = 226
383.48/376.78 c (343,0) x128 = 300
383.48/376.78 c (343,0) x129 = 299
383.48/376.78 c (343,0) x13 = 510
383.48/376.78 c (343,0) x130 = 435
383.48/376.78 c (343,0) x131 = 434
383.48/376.78 c (343,0) x132 = 459
383.48/376.78 c (343,0) x133 = 460
383.48/376.78 c (343,0) x134 = 558
383.48/376.78 c (343,0) x135 = 557
383.48/376.78 c (343,0) x136 = 568
383.48/376.78 c (343,0) x137 = 569
383.48/376.78 c (343,0) x138 = 612
383.48/376.78 c (343,0) x139 = 611
383.48/376.78 c (343,0) x14 = 538
383.48/376.78 c (343,0) x140 = 677
383.48/376.78 c (343,0) x141 = 678
383.48/376.78 c (343,0) x142 = 705
383.48/376.78 c (343,0) x143 = 707
383.48/376.78 c (343,0) x144 = 902
383.48/376.78 c (343,0) x145 = 901
383.48/376.78 c (343,0) x146 = 981
383.48/376.78 c (343,0) x147 = 982
383.48/376.78 c (343,0) x148 = 1228
383.48/376.78 c (343,0) x149 = 1227
383.48/376.78 c (343,0) x15 = 539
383.48/376.78 c (343,0) x150 = 10
383.48/376.78 c (343,0) x151 = 11
383.48/376.78 c (343,0) x152 = 55
383.48/376.78 c (343,0) x153 = 56
383.48/376.78 c (343,0) x154 = 179
383.48/376.78 c (343,0) x155 = 178
383.48/376.78 c (343,0) x156 = 327
383.48/376.78 c (343,0) x157 = 328
383.48/376.78 c (343,0) x158 = 421
383.48/376.78 c (343,0) x159 = 422
383.48/376.78 c (343,0) x16 = 635
383.48/376.78 c (343,0) x160 = 501
383.48/376.78 c (343,0) x161 = 502
383.48/376.78 c (343,0) x162 = 539
383.48/376.78 c (343,0) x163 = 804
383.48/376.78 c (343,0) x164 = 871
383.48/376.78 c (343,0) x165 = 869
383.48/376.78 c (343,0) x166 = 959
383.48/376.78 c (343,0) x167 = 960
383.48/376.78 c (343,0) x168 = 1070
383.48/376.78 c (343,0) x169 = 1071
383.48/376.78 c (343,0) x17 = 634
383.48/376.78 c (343,0) x170 = 1098
383.48/376.78 c (343,0) x171 = 1097
383.48/376.78 c (343,0) x172 = 1124
383.48/376.78 c (343,0) x173 = 1123
383.48/376.78 c (343,0) x174 = 1131
383.48/376.78 c (343,0) x175 = 1132
383.48/376.78 c (343,0) x176 = 1227
383.48/376.78 c (343,0) x177 = 1226
383.48/376.78 c (343,0) x178 = 1296
383.48/376.78 c (343,0) x179 = 1295
383.48/376.78 c (343,0) x18 = 653
383.48/376.78 c (343,0) x180 = 85
383.48/376.78 c (343,0) x181 = 84
383.48/376.78 c (343,0) x182 = 176
383.48/376.78 c (343,0) x183 = 175
383.48/376.78 c (343,0) x184 = 275
383.48/376.78 c (343,0) x185 = 276
383.48/376.78 c (343,0) x186 = 354
383.48/376.78 c (343,0) x187 = 355
383.48/376.78 c (343,0) x188 = 493
383.48/376.78 c (343,0) x189 = 500
383.48/376.78 c (343,0) x19 = 654
383.48/376.78 c (343,0) x190 = 697
383.48/376.78 c (343,0) x191 = 698
383.48/376.78 c (343,0) x192 = 765
383.48/376.78 c (343,0) x193 = 764
383.48/376.78 c (343,0) x194 = 848
383.48/376.78 c (343,0) x195 = 849
383.48/376.78 c (343,0) x196 = 944
383.48/376.78 c (343,0) x197 = 945
383.48/376.78 c (343,0) x198 = 957
383.48/376.78 c (343,0) x199 = 958
383.48/376.78 c (343,0) x2 = 225
383.48/376.78 c (343,0) x20 = 711
383.48/376.78 c (343,0) x200 = 983
383.48/376.78 c (343,0) x201 = 982
383.48/376.78 c (343,0) x202 = 1069
383.48/376.78 c (343,0) x203 = 1068
383.48/376.78 c (343,0) x204 = 1112
383.48/376.78 c (343,0) x205 = 1111
383.48/376.78 c (343,0) x206 = 1137
383.48/376.78 c (343,0) x207 = 1136
383.48/376.78 c (343,0) x208 = 1139
383.48/376.78 c (343,0) x209 = 1140
383.48/376.78 c (343,0) x21 = 712
383.48/376.78 c (343,0) x210 = 380
383.48/376.78 c (343,0) x211 = 379
383.48/376.78 c (343,0) x212 = 472
383.48/376.78 c (343,0) x213 = 473
383.48/376.78 c (343,0) x214 = 504
383.48/376.78 c (343,0) x215 = 505
383.48/376.78 c (343,0) x216 = 568
383.48/376.78 c (343,0) x217 = 569
383.48/376.78 c (343,0) x218 = 652
383.48/376.78 c (343,0) x219 = 651
383.48/376.78 c (343,0) x22 = 774
383.48/376.78 c (343,0) x220 = 712
383.48/376.78 c (343,0) x221 = 711
383.48/376.78 c (343,0) x222 = 741
383.48/376.78 c (343,0) x223 = 742
383.48/376.78 c (343,0) x224 = 771
383.48/376.78 c (343,0) x225 = 772
383.48/376.78 c (343,0) x226 = 847
383.48/376.78 c (343,0) x227 = 848
383.48/376.78 c (343,0) x228 = 853
383.48/376.78 c (343,0) x229 = 852
383.48/376.78 c (343,0) x23 = 775
383.48/376.78 c (343,0) x230 = 906
383.48/376.78 c (343,0) x231 = 905
383.48/376.78 c (343,0) x232 = 1016
383.48/376.78 c (343,0) x233 = 1017
383.48/376.78 c (343,0) x234 = 1076
383.48/376.78 c (343,0) x235 = 1075
383.48/376.78 c (343,0) x236 = 1157
383.48/376.78 c (343,0) x237 = 1158
383.48/376.78 c (343,0) x238 = 1254
383.48/376.78 c (343,0) x239 = 1253
383.48/376.78 c (343,0) x24 = 859
383.48/376.78 c (343,0) x240 = 2
383.48/376.78 c (343,0) x241 = 3
383.48/376.78 c (343,0) x242 = 22
383.48/376.78 c (343,0) x243 = 21
383.48/376.78 c (343,0) x244 = 78
383.48/376.78 c (343,0) x245 = 77
383.48/376.78 c (343,0) x246 = 175
383.48/376.78 c (343,0) x247 = 176
383.48/376.78 c (343,0) x248 = 274
383.48/376.78 c (343,0) x249 = 275
383.48/376.78 c (343,0) x25 = 860
383.48/376.78 c (343,0) x250 = 341
383.48/376.78 c (343,0) x251 = 342
383.48/376.78 c (343,0) x252 = 379
383.48/376.78 c (343,0) x253 = 380
383.48/376.78 c (343,0) x254 = 437
383.48/376.78 c (343,0) x255 = 438
383.48/376.78 c (343,0) x256 = 632
383.48/376.78 c (343,0) x257 = 635
383.48/376.78 c (343,0) x258 = 706
383.48/376.78 c (343,0) x259 = 705
383.48/376.78 c (343,0) x26 = 884
383.48/376.78 c (343,0) x260 = 779
383.48/376.78 c (343,0) x261 = 780
383.48/376.78 c (343,0) x262 = 835
383.48/376.78 c (343,0) x263 = 834
383.48/376.78 c (343,0) x264 = 919
383.48/376.78 c (343,0) x265 = 920
383.48/376.78 c (343,0) x266 = 975
383.48/376.78 c (343,0) x267 = 976
383.48/376.78 c (343,0) x268 = 1302
383.48/376.78 c (343,0) x269 = 1303
383.48/376.78 c (343,0) x27 = 883
383.48/376.78 c (343,0) x270 = 0
383.48/376.78 c (343,0) x271 = 1
383.48/376.78 c (343,0) x272 = 119
383.48/376.78 c (343,0) x273 = 120
383.48/376.78 c (343,0) x274 = 180
383.48/376.78 c (343,0) x275 = 179
383.48/376.78 c (343,0) x276 = 250
383.48/376.78 c (343,0) x277 = 249
383.48/376.78 c (343,0) x278 = 417
383.48/376.78 c (343,0) x279 = 418
383.48/376.78 c (343,0) x28 = 1112
383.48/376.78 c (343,0) x280 = 424
383.48/376.78 c (343,0) x281 = 423
383.48/376.78 c (343,0) x282 = 462
383.48/376.78 c (343,0) x283 = 463
383.48/376.78 c (343,0) x284 = 527
383.48/376.78 c (343,0) x285 = 548
383.48/376.78 c (343,0) x286 = 606
383.48/376.78 c (343,0) x287 = 607
383.48/376.78 c (343,0) x288 = 632
383.48/376.78 c (343,0) x289 = 631
383.48/376.78 c (343,0) x29 = 1111
383.48/376.78 c (343,0) x290 = 692
383.48/376.78 c (343,0) x291 = 691
383.48/376.78 c (343,0) x292 = 769
383.48/376.78 c (343,0) x293 = 770
383.48/376.78 c (343,0) x294 = 1218
383.48/376.78 c (343,0) x295 = 1219
383.48/376.78 c (343,0) x296 = 1220
383.48/376.78 c (343,0) x297 = 1221
383.48/376.78 c (343,0) x298 = 1238
383.48/376.78 c (343,0) x299 = 1239
383.48/376.78 c (343,0) x3 = 226
383.48/376.78 c (343,0) x30 = 208
383.48/376.78 c (343,0) x300 = 0
383.48/376.78 c (343,0) x301 = 1
383.48/376.78 c (343,0) x302 = 31
383.48/376.78 c (343,0) x303 = 32
383.48/376.78 c (343,0) x304 = 85
383.48/376.78 c (343,0) x305 = 84
383.48/376.78 c (343,0) x306 = 91
383.48/376.78 c (343,0) x307 = 92
383.48/376.78 c (343,0) x308 = 153
383.48/376.78 c (343,0) x309 = 152
383.48/376.78 c (343,0) x31 = 207
383.48/376.78 c (343,0) x310 = 210
383.48/376.78 c (343,0) x311 = 209
383.48/376.78 c (343,0) x312 = 377
383.48/376.78 c (343,0) x313 = 378
383.48/376.78 c (343,0) x314 = 544
383.48/376.78 c (343,0) x315 = 545
383.48/376.78 c (343,0) x316 = 616
383.48/376.78 c (343,0) x317 = 615
383.48/376.78 c (343,0) x318 = 804
383.48/376.78 c (343,0) x319 = 805
383.48/376.78 c (343,0) x32 = 240
383.48/376.78 c (343,0) x320 = 858
383.48/376.78 c (343,0) x321 = 859
383.48/376.78 c (343,0) x322 = 1052
383.48/376.78 c (343,0) x323 = 1051
383.48/376.78 c (343,0) x324 = 1140
383.48/376.78 c (343,0) x325 = 1141
383.48/376.78 c (343,0) x326 = 1193
383.48/376.78 c (343,0) x327 = 1192
383.48/376.78 c (343,0) x328 = 1210
383.48/376.78 c (343,0) x329 = 1209
383.48/376.78 c (343,0) x33 = 241
383.48/376.78 c (343,0) x330 = 0
383.48/376.78 c (343,0) x331 = 1
383.48/376.78 c (343,0) x332 = 31
383.48/376.78 c (343,0) x333 = 32
383.48/376.78 c (343,0) x334 = 43
383.48/376.78 c (343,0) x335 = 44
383.48/376.78 c (343,0) x336 = 120
383.48/376.78 c (343,0) x337 = 121
383.48/376.78 c (343,0) x338 = 172
383.48/376.78 c (343,0) x339 = 173
383.48/376.78 c (343,0) x34 = 322
383.48/376.78 c (343,0) x340 = 210
383.48/376.78 c (343,0) x341 = 211
383.48/376.78 c (343,0) x342 = 271
383.48/376.78 c (343,0) x343 = 272
383.48/376.78 c (343,0) x344 = 316
383.48/376.78 c (343,0) x345 = 315
383.48/376.78 c (343,0) x346 = 424
383.48/376.78 c (343,0) x347 = 423
383.48/376.78 c (343,0) x348 = 490
383.48/376.78 c (343,0) x349 = 801
383.48/376.78 c (343,0) x35 = 321
383.48/376.78 c (343,0) x350 = 850
383.48/376.78 c (343,0) x351 = 671
383.48/376.78 c (343,0) x352 = 930
383.48/376.78 c (343,0) x353 = 931
383.48/376.78 c (343,0) x354 = 990
383.48/376.78 c (343,0) x355 = 989
383.48/376.78 c (343,0) x356 = 1070
383.48/376.78 c (343,0) x357 = 1071
383.48/376.78 c (343,0) x358 = 1109
383.48/376.78 c (343,0) x359 = 1108
383.48/376.78 c (343,0) x36 = 431
383.48/376.78 c (343,0) x360 = 0
383.48/376.78 c (343,0) x361 = 1
383.48/376.78 c (343,0) x362 = 32
383.48/376.78 c (343,0) x363 = 31
383.48/376.78 c (343,0) x364 = 64
383.48/376.78 c (343,0) x365 = 65
383.48/376.78 c (343,0) x366 = 147
383.48/376.78 c (343,0) x367 = 146
383.48/376.78 c (343,0) x368 = 173
383.48/376.78 c (343,0) x369 = 172
383.48/376.78 c (343,0) x37 = 430
383.48/376.78 c (343,0) x370 = 213
383.48/376.78 c (343,0) x371 = 214
383.48/376.78 c (343,0) x372 = 340
383.48/376.78 c (343,0) x373 = 341
383.48/376.78 c (343,0) x374 = 415
383.48/376.78 c (343,0) x375 = 414
383.48/376.78 c (343,0) x376 = 498
383.48/376.78 c (343,0) x377 = 499
383.48/376.78 c (343,0) x378 = 514
383.48/376.78 c (343,0) x379 = 513
383.48/376.78 c (343,0) x38 = 519
383.48/376.78 c (343,0) x380 = 765
383.48/376.78 c (343,0) x381 = 766
383.48/376.78 c (343,0) x382 = 897
383.48/376.78 c (343,0) x383 = 898
383.48/376.78 c (343,0) x384 = 962
383.48/376.78 c (343,0) x385 = 961
383.48/376.78 c (343,0) x386 = 978
383.48/376.78 c (343,0) x387 = 979
383.48/376.78 c (343,0) x388 = 1060
383.48/376.78 c (343,0) x389 = 1059
383.48/376.78 c (343,0) x39 = 520
383.48/376.78 c (343,0) x390 = 0
383.48/376.78 c (343,0) x391 = 1
383.48/376.78 c (343,0) x392 = 10
383.48/376.78 c (343,0) x393 = 9
383.48/376.78 c (343,0) x394 = 47
383.48/376.78 c (343,0) x395 = 46
383.48/376.78 c (343,0) x396 = 64
383.48/376.78 c (343,0) x397 = 63
383.48/376.78 c (343,0) x398 = 119
383.48/376.78 c (343,0) x399 = 120
383.48/376.78 c (343,0) x4 = 249
383.48/376.78 c (343,0) x40 = 593
383.48/376.78 c (343,0) x400 = 199
383.48/376.78 c (343,0) x401 = 198
383.48/376.78 c (343,0) x402 = 355
383.48/376.78 c (343,0) x403 = 356
383.48/376.78 c (343,0) x404 = 483
383.48/376.78 c (343,0) x405 = 482
383.48/376.78 c (343,0) x406 = 563
383.48/376.78 c (343,0) x407 = 564
383.48/376.78 c (343,0) x408 = 675
383.48/376.78 c (343,0) x409 = 674
383.48/376.78 c (343,0) x41 = 594
383.48/376.78 c (343,0) x410 = 816
383.48/376.78 c (343,0) x411 = 815
383.48/376.78 c (343,0) x412 = 841
383.48/376.78 c (343,0) x413 = 840
383.48/376.78 c (343,0) x414 = 865
383.48/376.78 c (343,0) x415 = 864
383.48/376.78 c (343,0) x416 = 968
383.48/376.78 c (343,0) x417 = 969
383.48/376.78 c (343,0) x418 = 1175
383.48/376.78 c (343,0) x419 = 1184
383.48/376.78 c (343,0) x42 = 639
383.48/376.78 c (343,0) x420 = 341
383.48/376.78 c (343,0) x421 = 340
383.48/376.78 c (343,0) x422 = 421
383.48/376.78 c (343,0) x423 = 422
383.48/376.78 c (343,0) x424 = 452
383.48/376.78 c (343,0) x425 = 451
383.48/376.78 c (343,0) x426 = 563
383.48/376.78 c (343,0) x427 = 562
383.48/376.78 c (343,0) x428 = 652
383.48/376.78 c (343,0) x429 = 651
383.48/376.78 c (343,0) x43 = 640
383.48/376.79 c (343,0) x430 = 697
383.48/376.79 c (343,0) x431 = 698
383.48/376.79 c (343,0) x432 = 727
383.48/376.79 c (343,0) x433 = 728
383.48/376.79 c (343,0) x434 = 776
383.48/376.79 c (343,0) x435 = 775
383.48/376.79 c (343,0) x436 = 805
383.48/376.79 c (343,0) x437 = 804
383.48/376.79 c (343,0) x438 = 869
383.48/376.79 c (343,0) x439 = 870
383.48/376.79 c (343,0) x44 = 700
383.48/376.79 c (343,0) x440 = 943
383.48/376.79 c (343,0) x441 = 944
383.48/376.79 c (343,0) x442 = 1068
383.48/376.79 c (343,0) x443 = 1069
383.48/376.79 c (343,0) x444 = 1111
383.48/376.79 c (343,0) x445 = 1112
383.48/376.79 c (343,0) x446 = 1205
383.48/376.79 c (343,0) x447 = 1206
383.48/376.79 c (343,0) x448 = 1261
383.48/376.79 c (343,0) x449 = 1260
383.48/376.79 c (343,0) x45 = 701
383.48/376.79 c (343,0) x46 = 790
383.48/376.79 c (343,0) x47 = 789
383.48/376.79 c (343,0) x48 = 813
383.48/376.79 c (343,0) x49 = 814
383.48/376.79 c (343,0) x5 = 248
383.48/376.79 c (343,0) x50 = 890
383.48/376.79 c (343,0) x51 = 891
383.48/376.79 c (343,0) x52 = 983
383.48/376.79 c (343,0) x53 = 984
383.48/376.79 c (343,0) x54 = 1060
383.48/376.79 c (343,0) x55 = 1059
383.48/376.79 c (343,0) x56 = 1066
383.48/376.79 c (343,0) x57 = 1065
383.48/376.79 c (343,0) x58 = 1236
383.48/376.79 c (343,0) x59 = 1235
383.48/376.79 c (343,0) x6 = 379
383.48/376.79 c (343,0) x60 = 0
383.48/376.79 c (343,0) x61 = 1
383.48/376.79 c (343,0) x62 = 244
383.48/376.79 c (343,0) x63 = 243
383.48/376.79 c (343,0) x64 = 353
383.48/376.79 c (343,0) x65 = 354
383.48/376.79 c (343,0) x66 = 419
383.48/376.79 c (343,0) x67 = 418
383.48/376.79 c (343,0) x68 = 610
383.48/376.79 c (343,0) x69 = 609
383.48/376.79 c (343,0) x7 = 380
383.48/376.79 c (343,0) x70 = 698
383.48/376.79 c (343,0) x71 = 697
383.48/376.79 c (343,0) x72 = 774
383.48/376.79 c (343,0) x73 = 775
383.48/376.79 c (343,0) x74 = 836
383.48/376.79 c (343,0) x75 = 837
383.48/376.79 c (343,0) x76 = 933
383.48/376.79 c (343,0) x77 = 934
383.48/376.79 c (343,0) x78 = 981
383.48/376.79 c (343,0) x79 = 980
383.48/376.79 c (343,0) x8 = 406
383.48/376.79 c (343,0) x80 = 1029
383.48/376.79 c (343,0) x81 = 1030
383.48/376.79 c (343,0) x82 = 1038
383.48/376.79 c (343,0) x83 = 1037
383.48/376.79 c (343,0) x84 = 1107
383.48/376.79 c (343,0) x85 = 1108
383.48/376.79 c (343,0) x86 = 1140
383.48/376.79 c (343,0) x87 = 1139
383.48/376.79 c (343,0) x88 = 1206
383.48/376.79 c (343,0) x89 = 1207
383.48/376.79 c (343,0) x9 = 405
383.48/376.79 c (343,0) x90 = 0
383.48/376.79 c (343,0) x91 = 1
383.48/376.79 c (343,0) x92 = 105
383.48/376.79 c (343,0) x93 = 104
383.48/376.79 c (343,0) x94 = 204
383.48/376.79 c (343,0) x95 = 206
383.48/376.79 c (343,0) x96 = 275
383.48/376.79 c (343,0) x97 = 276
383.48/376.79 c (343,0) x98 = 300
383.48/376.79 c (343,0) x99 = 299
383.48/376.79 s SATISFIABLE
383.48/376.79 v <instantiation>
383.48/376.79 v <list>x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449</list>
383.48/376.79 v <values>91 92 225 226 249 248 379 380 406 405 488 487 511 510 538 539 635 634 653 654 711 712 774 775 859 860 884 883 1112 1111 208 207 240 241 322 321 431 430 519 520 593 594 639 640 700 701 790 789 813 814 890 891 983 984 1060 1059 1066 1065 1236 1235 0 1 244 243 353 354 419 418 610 609 698 697 774 775 836 837 933 934 981 980 1029 1030 1038 1037 1107 1108 1140 1139 1206 1207 0 1 105 104 204 206 275 276 300 299 354 355 371 370 439 440 476 477 551 552 555 556 620 621 693 694 711 712 1267 1266 0 1 102 101 214 213 225 226 300 299 435 434 459 460 558 557 568 569 612 611 677 678 705 707 902 901 981 982 1228 1227 10 11 55 56 179 178 327 328 421 422 501 502 539 804 871 869 959 960 1070 1071 1098 1097 1124 1123 1131 1132 1227 1226 1296 1295 85 84 176 175 275 276 354 355 493 500 697 698 765 764 848 849 944 945 957 958 983 982 1069 1068 1112 1111 1137 1136 1139 1140 380 379 472 473 504 505 568 569 652 651 712 711 741 742 771 772 847 848 853 852 906 905 1016 1017 1076 1075 1157 1158 1254 1253 2 3 22 21 78 77 175 176 274 275 341 342 379 380 437 438 632 635 706 705 779 780 835 834 919 920 975 976 1302 1303 0 1 119 120 180 179 250 249 417 418 424 423 462 463 527 548 606 607 632 631 692 691 769 770 1218 1219 1220 1221 1238 1239 0 1 31 32 85 84 91 92 153 152 210 209 377 378 544 545 616 615 804 805 858 859 1052 1051 1140 1141 1193 1192 1210 1209 0 1 31 32 43 44 120 121 172 173 210 211 271 272 316 315 424 423 490 801 850 671 930 931 990 989 1070 1071 1109 1108 0 1 32 31 64 65 147 146 173 172 213 214 340 341 415 414 498 499 514 513 765 766 897 898 962 961 978 979 1060 1059 0 1 10 9 47 46 64 63 119 120 199 198 355 356 483 482 563 564 675 674 816 815 841 840 865 864 968 969 1175 1184 341 340 421 422 452 451 563 562 652 651 697 698 727 728 776 775 805 804 869 870 943 944 1068 1069 1111 1112 1205 1206 1261 1260</values>
383.48/376.79 v </instantiation>
383.48/376.79 c (343,0) Show results End
383.48/376.79 c (343,0) Heap : 308 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
383.48/376.79 c (343,0) 343,343,STOP-AFTER(ALL)
383.48/376.79 c END-Prog: Thu Sep 12 16:05:57 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 (15079 MiB free)
memory of node 1: 16384 MiB (13529 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388236-1568296819/watcher-4388236-1568296819 -o /tmp/evaluation-result-4388236-1568296819/solver-4388236-1568296819 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568286070-13983 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388236-1568296819.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=18781, runsolver pid=18778
[startup+0.100118 s]*
/proc/loadavg: 2.70 2.34 2.21 3/229 18798
/proc/meminfo: memFree=29145416/32770624 swapFree=66932988/67108860
[pid=18781] ppid=18778 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/18781/stat : 18781 (scop.sh) S 18778 18781 12870 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 405953389 115843072 349 33554432000 4194304 5098028 140729579227520 140729579224776 140669329666684 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15831040 140729579234147 140729579234416 140729579234416 140729579237325 0
/proc/18781/statm: 28282 349 296 221 0 87 0
[pid=18784] ppid=18781 vsize=15012696 memory=73272 CPUtime=0.11 cores=0,2,4,6
/proc/18784/stat : 18784 (java) S 18781 18781 12870 0 -1 1077944320 7070 0 0 0 10 1 0 0 20 0 15 0 405953389 15373000704 18318 33554432000 4194304 4196468 140728932893472 140728932876016 140329890864887 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
/proc/18784/statm: 3753174 18318 2921 1 0 3715579 0
[pid=18784/tid=18785] ppid=18781 vsize=15012696 memory=-6601833317647732518 CPUtime=0.09 cores=0,2,4,6
/proc/18784/task/18785/stat : 18785 (java) R 18781 18781 12870 0 -1 4202560 4883 0 0 0 8 1 0 0 20 0 15 0 405953389 15373000704 18318 33554432000 4194304 4196468 140728932893472 140329862658696 140329890886813 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18786] ppid=18781 vsize=15012696 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18786/stat : 18786 (java) S 18781 18781 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405953391 15373000704 18318 33554432000 4194304 4196468 140728932893472 140329895107728 140329890875093 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18787] ppid=18781 vsize=15012696 memory=140285584619136 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18787/stat : 18787 (java) S 18781 18781 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405953391 15373000704 18318 33554432000 4194304 4196468 140728932893472 140329670810640 140329890875093 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18788] ppid=18781 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18788/stat : 18788 (java) S 18781 18781 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405953391 15373000704 18318 33554432000 4194304 4196468 140728932893472 140329669757840 140329890875093 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18789] ppid=18781 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18789/stat : 18789 (java) S 18781 18781 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405953391 15373000704 18318 33554432000 4194304 4196468 140728932893472 140329349016336 140329890875093 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18790] ppid=18781 vsize=15012696 memory=140285584619136 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18790/stat : 18790 (java) S 18781 18781 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405953392 15373000704 18318 33554432000 4194304 4196468 140728932893472 140328659044720 140329890876034 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18791] ppid=18781 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18791/stat : 18791 (java) S 18781 18781 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405953393 15373000704 18318 33554432000 4194304 4196468 140728932893472 140328526930976 140329890875093 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18792] ppid=18781 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18792/stat : 18792 (java) S 18781 18781 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405953393 15373000704 18318 33554432000 4194304 4196468 140728932893472 140328258495344 140329890875093 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18793] ppid=18781 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18793/stat : 18793 (java) S 18781 18781 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405953395 15373000704 18318 33554432000 4194304 4196468 140728932893472 140327883986768 140329890883483 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18794] ppid=18781 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18794/stat : 18794 (java) S 18781 18781 12870 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 405953395 15373000704 18318 33554432000 4194304 4196468 140728932893472 140328657992560 140329890876034 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18795] ppid=18781 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18795/stat : 18795 (java) S 18781 18781 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405953395 15373000704 18318 33554432000 4194304 4196468 140728932893472 140328656939760 140329890876034 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18796] ppid=18781 vsize=15012696 memory=140285584619136 CPUtime=0.01 cores=0,2,4,6
/proc/18784/task/18796/stat : 18796 (java) R 18781 18781 12870 0 -1 4202560 422 0 0 0 1 0 0 0 20 0 15 0 405953395 15373000704 18318 33554432000 4194304 4196468 140728932893472 140328655886960 140329876548295 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18797] ppid=18781 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18797/stat : 18797 (java) S 18781 18781 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405953395 15373000704 18318 33554432000 4194304 4196468 140728932893472 140327386082016 140329890875093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18798] ppid=18781 vsize=15012696 memory=140285584619136 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18798/stat : 18798 (java) S 18781 18781 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405953396 15373000704 18318 33554432000 4194304 4196468 140728932893472 140328654834352 140329890876034 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74668 KiB
[startup+0.210801 s]*
/proc/loadavg: 2.70 2.34 2.21 3/229 18798
/proc/meminfo: memFree=29027164/32770624 swapFree=66932988/67108860
[pid=18781] ppid=18778 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/18781/stat : 18781 (scop.sh) S 18778 18781 12870 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 405953389 115843072 349 33554432000 4194304 5098028 140729579227520 140729579224776 140669329666684 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15831040 140729579234147 140729579234416 140729579234416 140729579237325 0
/proc/18781/statm: 28282 349 296 221 0 87 0
[pid=18784] ppid=18781 vsize=15012696 memory=88376 CPUtime=0.25 cores=0,2,4,6
/proc/18784/stat : 18784 (java) S 18781 18781 12870 0 -1 1077944320 12121 0 0 0 22 3 0 0 20 0 15 0 405953389 15373000704 22094 33554432000 4194304 4196468 140728932893472 140728932876016 140329890864887 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
/proc/18784/statm: 3753174 22094 2977 1 0 3715579 0
[pid=18784/tid=18785] ppid=18781 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/18784/task/18785/stat : 18785 (java) R 18781 18781 12870 0 -1 4202560 9875 0 0 0 18 2 0 0 20 0 15 0 405953389 15373000704 22094 33554432000 4194304 4196468 140728932893472 140329862680128 140329875175401 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18786] ppid=18781 vsize=15012696 memory=2964499 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18786/stat : 18786 (java) S 18781 18781 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405953391 15373000704 22094 33554432000 4194304 4196468 140728932893472 140329895107728 140329890875093 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18787] ppid=18781 vsize=15012696 memory=288370661736330880 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18787/stat : 18787 (java) S 18781 18781 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405953391 15373000704 22094 33554432000 4194304 4196468 140728932893472 140329670810640 140329890875093 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18788] ppid=18781 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18788/stat : 18788 (java) S 18781 18781 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405953391 15373000704 22094 33554432000 4194304 4196468 140728932893472 140329669757840 140329890875093 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18789] ppid=18781 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18789/stat : 18789 (java) S 18781 18781 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405953391 15373000704 22094 33554432000 4194304 4196468 140728932893472 140329349016336 140329890875093 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18790] ppid=18781 vsize=15012696 memory=140285584619136 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18790/stat : 18790 (java) S 18781 18781 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405953392 15373000704 22094 33554432000 4194304 4196468 140728932893472 140328659044720 140329890876034 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18791] ppid=18781 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18791/stat : 18791 (java) S 18781 18781 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405953393 15373000704 22094 33554432000 4194304 4196468 140728932893472 140328526930976 140329890875093 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18792] ppid=18781 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18792/stat : 18792 (java) S 18781 18781 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405953393 15373000704 22094 33554432000 4194304 4196468 140728932893472 140328258495344 140329890875093 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18793] ppid=18781 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18793/stat : 18793 (java) S 18781 18781 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405953395 15373000704 22094 33554432000 4194304 4196468 140728932893472 140327883986768 140329890883483 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18794] ppid=18781 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18794/stat : 18794 (java) S 18781 18781 12870 0 -1 1077944384 465 0 0 0 0 0 0 0 20 0 15 0 405953395 15373000704 22094 33554432000 4194304 4196468 140728932893472 140328657992560 140329890876034 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18795] ppid=18781 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18795/stat : 18795 (java) S 18781 18781 12870 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 405953395 15373000704 22094 33554432000 4194304 4196468 140728932893472 140328656939760 140329890876034 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18796] ppid=18781 vsize=15012696 memory=140285584619136 CPUtime=0.03 cores=0,2,4,6
/proc/18784/task/18796/stat : 18796 (java) S 18781 18781 12870 0 -1 1077944384 431 0 0 0 3 0 0 0 20 0 15 0 405953395 15373000704 22094 33554432000 4194304 4196468 140728932893472 140328655886960 140329890876034 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18797] ppid=18781 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18797/stat : 18797 (java) S 18781 18781 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405953395 15373000704 22094 33554432000 4194304 4196468 140728932893472 140327386082016 140329890875093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18798] ppid=18781 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18798/stat : 18798 (java) S 18781 18781 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405953396 15373000704 22094 33554432000 4194304 4196468 140728932893472 140328654834352 140329890876034 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89772 KiB
[startup+0.311459 s]*
/proc/loadavg: 2.70 2.34 2.21 3/229 18798
/proc/meminfo: memFree=28933888/32770624 swapFree=66932988/67108860
[pid=18781] ppid=18778 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/18781/stat : 18781 (scop.sh) S 18778 18781 12870 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 405953389 115843072 349 33554432000 4194304 5098028 140729579227520 140729579224776 140669329666684 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15831040 140729579234147 140729579234416 140729579234416 140729579237325 0
/proc/18781/statm: 28282 349 296 221 0 87 0
[pid=18784] ppid=18781 vsize=15012696 memory=92004 CPUtime=0.43 cores=0,2,4,6
/proc/18784/stat : 18784 (java) S 18781 18781 12870 0 -1 1077944320 13049 0 0 0 39 4 0 0 20 0 15 0 405953389 15373000704 23001 33554432000 4194304 4196468 140728932893472 140728932876016 140329890864887 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
/proc/18784/statm: 3753174 23001 3027 1 0 3715579 0
[pid=18784/tid=18785] ppid=18781 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/18784/task/18785/stat : 18785 (java) R 18781 18781 12870 0 -1 4202560 10619 0 0 0 27 3 0 0 20 0 15 0 405953389 15373000704 23001 33554432000 4194304 4196468 140728932893472 140329862655536 140329874945374 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18786] ppid=18781 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18786/stat : 18786 (java) S 18781 18781 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405953391 15373000704 23001 33554432000 4194304 4196468 140728932893472 140329895107728 140329890875093 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18787] ppid=18781 vsize=15012696 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18787/stat : 18787 (java) S 18781 18781 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405953391 15373000704 23001 33554432000 4194304 4196468 140728932893472 140329670810640 140329890875093 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18788] ppid=18781 vsize=15012696 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18788/stat : 18788 (java) S 18781 18781 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405953391 15373000704 23001 33554432000 4194304 4196468 140728932893472 140329669757840 140329890875093 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18789] ppid=18781 vsize=15012696 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18789/stat : 18789 (java) S 18781 18781 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405953391 15373000704 23001 33554432000 4194304 4196468 140728932893472 140329349016336 140329890875093 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18790] ppid=18781 vsize=15012696 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18790/stat : 18790 (java) S 18781 18781 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405953392 15373000704 23001 33554432000 4194304 4196468 140728932893472 140328659044720 140329890876034 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18791] ppid=18781 vsize=15012696 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18791/stat : 18791 (java) S 18781 18781 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405953393 15373000704 23001 33554432000 4194304 4196468 140728932893472 140328526930976 140329890875093 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18792] ppid=18781 vsize=15012696 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18792/stat : 18792 (java) S 18781 18781 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405953393 15373000704 23001 33554432000 4194304 4196468 140728932893472 140328258495344 140329890875093 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18793] ppid=18781 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18793/stat : 18793 (java) S 18781 18781 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405953395 15373000704 23001 33554432000 4194304 4196468 140728932893472 140327883986768 140329890883483 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18794] ppid=18781 vsize=15012696 memory=4426078206164241782 CPUtime=0.02 cores=0,2,4,6
/proc/18784/task/18794/stat : 18794 (java) S 18781 18781 12870 0 -1 1077944384 567 0 0 0 2 0 0 0 20 0 15 0 405953395 15373000704 23001 33554432000 4194304 4196468 140728932893472 140328657992560 140329890876034 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18795] ppid=18781 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/18784/task/18795/stat : 18795 (java) S 18781 18781 12870 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 15 0 405953395 15373000704 23001 33554432000 4194304 4196468 140728932893472 140328656939760 140329890876034 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18796] ppid=18781 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18784/task/18796/stat : 18796 (java) S 18781 18781 12870 0 -1 1077944384 475 0 0 0 7 0 0 0 20 0 15 0 405953395 15373000704 23001 33554432000 4194304 4196468 140728932893472 140328655886960 140329890876034 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18797] ppid=18781 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18797/stat : 18797 (java) S 18781 18781 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405953395 15373000704 23001 33554432000 4194304 4196468 140728932893472 140327386082016 140329890875093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18798] ppid=18781 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18798/stat : 18798 (java) S 18781 18781 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405953396 15373000704 23001 33554432000 4194304 4196468 140728932893472 140328654834352 140329890876034 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93400 KiB
[startup+0.701486 s]
/proc/loadavg: 2.70 2.34 2.21 3/229 18798
/proc/meminfo: memFree=28734792/32770624 swapFree=66932988/67108860
[pid=18781] ppid=18778 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/18781/stat : 18781 (scop.sh) S 18778 18781 12870 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 405953389 115843072 349 33554432000 4194304 5098028 140729579227520 140729579224776 140669329666684 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15831040 140729579234147 140729579234416 140729579234416 140729579237325 0
/proc/18781/statm: 28282 349 296 221 0 87 0
[pid=18784] ppid=18781 vsize=15018968 memory=132080 CPUtime=1.04 cores=0,2,4,6
/proc/18784/stat : 18784 (java) S 18781 18781 12870 0 -1 1077944320 20202 0 0 0 98 6 0 0 20 0 15 0 405953389 15379423232 33020 33554432000 4194304 4196468 140728932893472 140728932876016 140329890864887 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
/proc/18784/statm: 3754742 33020 3193 1 0 3716091 0
[pid=18784/tid=18785] ppid=18781 vsize=15018968 memory=18968 CPUtime=0.67 cores=0,2,4,6
/proc/18784/task/18785/stat : 18785 (java) R 18781 18781 12870 0 -1 4202560 17154 0 0 0 63 4 0 0 20 0 15 0 405953389 15379423232 33020 33554432000 4194304 4196468 140728932893472 140329862702144 140329351599407 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18786] ppid=18781 vsize=15018968 memory=984 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18786/stat : 18786 (java) S 18781 18781 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405953391 15379423232 33020 33554432000 4194304 4196468 140728932893472 140329895107728 140329890875093 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18787] ppid=18781 vsize=15018968 memory=2032 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18787/stat : 18787 (java) S 18781 18781 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405953391 15379423232 33020 33554432000 4194304 4196468 140728932893472 140329670810640 140329890875093 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18788] ppid=18781 vsize=15018968 memory=1332 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18788/stat : 18788 (java) S 18781 18781 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405953391 15379423232 33020 33554432000 4194304 4196468 140728932893472 140329669757840 140329890875093 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18789] ppid=18781 vsize=15018968 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18789/stat : 18789 (java) S 18781 18781 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405953391 15379423232 33020 33554432000 4194304 4196468 140728932893472 140329349016336 140329890875093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18790] ppid=18781 vsize=15018968 memory=976 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18790/stat : 18790 (java) S 18781 18781 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405953392 15379423232 33020 33554432000 4194304 4196468 140728932893472 140328659044720 140329890876034 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18791] ppid=18781 vsize=15018968 memory=772 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18791/stat : 18791 (java) S 18781 18781 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405953393 15379423232 33020 33554432000 4194304 4196468 140728932893472 140328526930976 140329890875093 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18792] ppid=18781 vsize=15018968 memory=3932 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18792/stat : 18792 (java) S 18781 18781 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405953393 15379423232 33020 33554432000 4194304 4196468 140728932893472 140328258495344 140329890875093 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18793] ppid=18781 vsize=15018968 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18793/stat : 18793 (java) S 18781 18781 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405953395 15379423232 33020 33554432000 4194304 4196468 140728932893472 140327883986768 140329890883483 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18794] ppid=18781 vsize=15018968 memory=1548 CPUtime=0.08 cores=0,2,4,6
/proc/18784/task/18794/stat : 18794 (java) R 18781 18781 12870 0 -1 4202560 755 0 0 0 8 0 0 0 20 0 15 0 405953395 15379423232 33020 33554432000 4194304 4196468 140728932893472 140328657984512 140329876027888 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18795] ppid=18781 vsize=15018968 memory=1056 CPUtime=0.08 cores=0,2,4,6
/proc/18784/task/18795/stat : 18795 (java) R 18781 18781 12870 0 -1 4202560 297 0 0 0 8 0 0 0 20 0 15 0 405953395 15379423232 33020 33554432000 4194304 4196468 140728932893472 140328656929552 140329876879208 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18796] ppid=18781 vsize=15018968 memory=744 CPUtime=0.17 cores=0,2,4,6
/proc/18784/task/18796/stat : 18796 (java) R 18781 18781 12870 0 -1 4202560 659 0 0 0 17 0 0 0 20 0 15 0 405953395 15379423232 33020 33554432000 4194304 4196468 140728932893472 140328655884920 140329869402323 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18797] ppid=18781 vsize=15018968 memory=8296 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18797/stat : 18797 (java) S 18781 18781 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405953395 15379423232 33020 33554432000 4194304 4196468 140728932893472 140327386082016 140329890875093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
[pid=18784/tid=18798] ppid=18781 vsize=15018968 memory=5948 CPUtime=0 cores=0,2,4,6
/proc/18784/task/18798/stat : 18798 (java) S 18781 18781 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405953396 15379423232 33020 33554432000 4194304 4196468 140728932893472 140328654834352 140329890876034 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10039296 140728932897577 140728932897946 140728932897946 140728932900815 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 133476 KiB
[startup+1.50144 s]
/proc/loadavg: 2.70 2.34 2.21 6/229 18798
/proc/meminfo: memFree=28290108/32770624 swapFree=66932988/67108860
[pid=18781] ppid=18778 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/18781/stat : 18781 (scop.sh) S 18778 18781 12870 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 405953389 115843072 349 33554432000 4194304 5098028 140729579227520 140729579224776 140669329666684 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15831040 140729579234147 140729579234416 140729579234416 140729579237325 0
/proc/18781/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/18908/task/18924/stat : 18924 (java) S 18781 18781 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405956747 8262082560 30152 33554432000 4194304 4196468 140723460047456 140520810645184 140521376526105 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18926] ppid=18781 vsize=8068440 memory=984 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18926/stat : 18926 (java) S 18781 18781 12870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 405956747 8262082560 30152 33554432000 4194304 4196468 140723460047456 140518512111408 140521376523421 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18927] ppid=18781 vsize=8068440 memory=2032 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18927/stat : 18927 (java) S 18781 18781 12870 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 405956747 8262082560 30152 33554432000 4194304 4196468 140723460047456 140518377889456 140521376523421 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18928] ppid=18781 vsize=8068440 memory=1332 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18928/stat : 18928 (java) S 18781 18781 12870 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 405956750 8262082560 30152 33554432000 4194304 4196468 140723460047456 140518646340784 140521376511701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
Current children cumulated CPU time: 380.12 s
Current children cumulated vsize: 9101304 KiB
Current children cumulated memory: 880188 KiB
[startup+376.001 s]*
/proc/loadavg: 2.01 2.16 2.19 3/239 18996
/proc/meminfo: memFree=29414728/32770624 swapFree=66933008/67108860
[pid=18781] ppid=18778 vsize=113128 memory=1476 CPUtime=37.7 cores=0,2,4,6
/proc/18781/stat : 18781 (scop.sh) S 18778 18781 12870 0 -1 4202496 583 43127 0 0 0 0 3651 119 20 0 1 0 405953389 115843072 369 33554432000 4194304 5098028 140729579227520 140729579224264 140669329666684 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15831040 140729579234147 140729579234416 140729579234416 140729579237325 0
/proc/18781/statm: 28282 369 311 221 0 87 0
[pid=18908] ppid=18781 vsize=8068440 memory=120608 CPUtime=1.62 cores=0,2,4,6
/proc/18908/stat : 18908 (java) S 18781 18781 12870 0 -1 1077944320 20556 0 0 0 144 18 0 0 20 0 19 0 405956672 8262082560 30152 33554432000 4194304 4196468 140723460047456 140723460030000 140521376501495 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
/proc/18908/statm: 2017110 30152 3214 1 0 1978454 0
[pid=18923] ppid=18908 vsize=919736 memory=758148 CPUtime=342.41 cores=0,2,4,6
/proc/18923/stat : 18923 (cryptominisat5) R 18908 18781 12870 0 -1 4202496 1174438 0 0 0 34157 84 0 0 20 0 1 0 405956747 941809664 189537 33554432000 4194304 4451008 140720975835024 140720975831144 140683771849078 0 4 0 2 0 0 0 17 2 0 0 0 0 0 6549032 6559120 28565504 140720975840188 140720975840320 140720975840320 140720975843270 0
/proc/18923/statm: 229934 189537 644 63 0 223661 0
[pid=18908/tid=18909] ppid=18781 vsize=8068440 memory=8039887049847966116 CPUtime=0.78 cores=0,2,4,6
/proc/18908/task/18909/stat : 18909 (java) S 18781 18781 12870 0 -1 1077944384 17192 0 0 0 72 6 0 0 20 0 19 0 405956672 8262082560 30152 33554432000 4194304 4196468 140723460047456 140521348341664 140521376511701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18910] ppid=18781 vsize=8068440 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18910/stat : 18910 (java) S 18781 18781 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405956673 8262082560 30152 33554432000 4194304 4196468 140723460047456 140521380743824 140521376511701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18911] ppid=18781 vsize=8068440 memory=2032 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18911/stat : 18911 (java) S 18781 18781 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405956673 8262082560 30152 33554432000 4194304 4196468 140723460047456 140521198832144 140521376511701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18912] ppid=18781 vsize=8068440 memory=1332 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18912/stat : 18912 (java) S 18781 18781 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405956673 8262082560 30152 33554432000 4194304 4196468 140723460047456 140521197779344 140521376511701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18913] ppid=18781 vsize=8068440 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18913/stat : 18913 (java) S 18781 18781 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405956673 8262082560 30152 33554432000 4194304 4196468 140723460047456 140520859793680 140521376511701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18914] ppid=18781 vsize=8068440 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18914/stat : 18914 (java) S 18781 18781 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405956675 8262082560 30152 33554432000 4194304 4196468 140723460047456 140520822889328 140521376512642 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18915] ppid=18781 vsize=8068440 memory=976 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18915/stat : 18915 (java) S 18781 18781 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405956675 8262082560 30152 33554432000 4194304 4196468 140723460047456 140520189847072 140521376511701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18916] ppid=18781 vsize=8068440 memory=772 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18916/stat : 18916 (java) S 18781 18781 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405956675 8262082560 30152 33554432000 4194304 4196468 140723460047456 140519921411440 140521376511701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18917] ppid=18781 vsize=8068440 memory=3932 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18917/stat : 18917 (java) S 18781 18781 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405956678 8262082560 30152 33554432000 4194304 4196468 140723460047456 140519546902864 140521376520091 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18918] ppid=18781 vsize=8068440 memory=2832 CPUtime=0.13 cores=0,2,4,6
/proc/18908/task/18918/stat : 18918 (java) S 18781 18781 12870 0 -1 1077944384 935 0 0 0 13 0 0 0 20 0 19 0 405956678 8262082560 30152 33554432000 4194304 4196468 140723460047456 140520821836144 140521376512642 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18919] ppid=18781 vsize=8068440 memory=1548 CPUtime=0.12 cores=0,2,4,6
/proc/18908/task/18919/stat : 18919 (java) S 18781 18781 12870 0 -1 1077944384 377 0 0 0 12 0 0 0 20 0 19 0 405956678 8262082560 30152 33554432000 4194304 4196468 140723460047456 140520820783344 140521376512642 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18920] ppid=18781 vsize=8068440 memory=1056 CPUtime=0.21 cores=0,2,4,6
/proc/18908/task/18920/stat : 18920 (java) S 18781 18781 12870 0 -1 1077944384 634 0 0 0 21 0 0 0 20 0 19 0 405956678 8262082560 30152 33554432000 4194304 4196468 140723460047456 140520819730544 140521376512642 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18921] ppid=18781 vsize=8068440 memory=744 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18921/stat : 18921 (java) S 18781 18781 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405956678 8262082560 30152 33554432000 4194304 4196468 140723460047456 140519048997088 140521376511701 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18922] ppid=18781 vsize=8068440 memory=8296 CPUtime=0.33 cores=0,2,4,6
/proc/18908/task/18922/stat : 18922 (java) S 18781 18781 12870 0 -1 1077944384 25 0 0 0 17 16 0 0 20 0 19 0 405956678 8262082560 30152 33554432000 4194304 4196468 140723460047456 140520818678960 140521376512642 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18924] ppid=18781 vsize=8068440 memory=5948 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18924/stat : 18924 (java) S 18781 18781 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405956747 8262082560 30152 33554432000 4194304 4196468 140723460047456 140520810645184 140521376526105 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18926] ppid=18781 vsize=8068440 memory=1124 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18926/stat : 18926 (java) S 18781 18781 12870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 405956747 8262082560 30152 33554432000 4194304 4196468 140723460047456 140518512111408 140521376523421 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18927] ppid=18781 vsize=8068440 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18927/stat : 18927 (java) S 18781 18781 12870 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 405956747 8262082560 30152 33554432000 4194304 4196468 140723460047456 140518377889456 140521376523421 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18928] ppid=18781 vsize=8068440 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18928/stat : 18928 (java) S 18781 18781 12870 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 405956750 8262082560 30152 33554432000 4194304 4196468 140723460047456 140518646340784 140521376511701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
Current children cumulated CPU time: 381.73 s
Current children cumulated vsize: 9101304 KiB
Current children cumulated memory: 880232 KiB
[startup+376.401 s]
/proc/loadavg: 2.01 2.16 2.19 3/239 18996
/proc/meminfo: memFree=29414728/32770624 swapFree=66933008/67108860
[pid=18781] ppid=18778 vsize=113128 memory=1476 CPUtime=37.7 cores=0,2,4,6
/proc/18781/stat : 18781 (scop.sh) S 18778 18781 12870 0 -1 4202496 583 43127 0 0 0 0 3651 119 20 0 1 0 405953389 115843072 369 33554432000 4194304 5098028 140729579227520 140729579224264 140669329666684 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15831040 140729579234147 140729579234416 140729579234416 140729579237325 0
/proc/18781/statm: 28282 369 311 221 0 87 0
[pid=18908] ppid=18781 vsize=8068440 memory=241504 CPUtime=2.68 cores=0,2,4,6
/proc/18908/stat : 18908 (java) S 18781 18781 12870 0 -1 1077944320 26361 0 0 0 247 21 0 0 20 0 19 0 405956672 8262082560 60376 33554432000 4194304 4196468 140723460047456 140723460030000 140521376501495 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
/proc/18908/statm: 2017110 60376 3233 1 0 1978454 0
[pid=18923] ppid=18908 vsize=920908 memory=759392 CPUtime=342.52 cores=0,2,4,6
/proc/18923/stat : 18923 (cryptominisat5) S 18908 18781 12870 0 -1 4202496 1175665 0 0 0 34168 84 0 0 20 0 1 0 405956747 943009792 189848 33554432000 4194304 4451008 140720975835024 140720975832248 140683752606816 0 4 0 2 18446744071580971376 0 0 17 0 0 0 0 0 0 6549032 6559120 28565504 140720975840188 140720975840320 140720975840320 140720975843270 0
/proc/18923/statm: 230227 189848 667 63 0 223954 0
[pid=18908/tid=18909] ppid=18781 vsize=8068440 memory=-7824251494390521186 CPUtime=0.78 cores=0,2,4,6
/proc/18908/task/18909/stat : 18909 (java) S 18781 18781 12870 0 -1 1077944384 17192 0 0 0 72 6 0 0 20 0 19 0 405956672 8262082560 60376 33554432000 4194304 4196468 140723460047456 140521348341664 140521376511701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18910] ppid=18781 vsize=8068440 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18910/stat : 18910 (java) S 18781 18781 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405956673 8262082560 60376 33554432000 4194304 4196468 140723460047456 140521380743824 140521376511701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18911] ppid=18781 vsize=8068440 memory=808 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18911/stat : 18911 (java) S 18781 18781 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405956673 8262082560 60376 33554432000 4194304 4196468 140723460047456 140521198832144 140521376511701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18912] ppid=18781 vsize=8068440 memory=1772 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18912/stat : 18912 (java) S 18781 18781 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405956673 8262082560 60376 33554432000 4194304 4196468 140723460047456 140521197779344 140521376511701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18913] ppid=18781 vsize=8068440 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18913/stat : 18913 (java) S 18781 18781 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405956673 8262082560 60376 33554432000 4194304 4196468 140723460047456 140520859793680 140521376511701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18914] ppid=18781 vsize=8068440 memory=804 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18914/stat : 18914 (java) S 18781 18781 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405956675 8262082560 60376 33554432000 4194304 4196468 140723460047456 140520822889328 140521376512642 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18915] ppid=18781 vsize=8068440 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18915/stat : 18915 (java) S 18781 18781 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405956675 8262082560 60376 33554432000 4194304 4196468 140723460047456 140520189847072 140521376511701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18916] ppid=18781 vsize=8068440 memory=808 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18916/stat : 18916 (java) S 18781 18781 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405956675 8262082560 60376 33554432000 4194304 4196468 140723460047456 140519921411440 140521376511701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18917] ppid=18781 vsize=8068440 memory=1772 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18917/stat : 18917 (java) S 18781 18781 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405956678 8262082560 60376 33554432000 4194304 4196468 140723460047456 140519546902864 140521376520091 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18918] ppid=18781 vsize=8068440 memory=111632 CPUtime=0.43 cores=0,2,4,6
/proc/18908/task/18918/stat : 18918 (java) R 18781 18781 12870 0 -1 4202560 3068 0 0 0 42 1 0 0 20 0 19 0 405956678 8262082560 60376 33554432000 4194304 4196468 140723460047456 140520821822168 140521358019900 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18919] ppid=18781 vsize=8068440 memory=804 CPUtime=0.45 cores=0,2,4,6
/proc/18908/task/18919/stat : 18919 (java) R 18781 18781 12870 0 -1 4202560 2779 0 0 0 44 1 0 0 20 0 19 0 405956678 8262082560 60376 33554432000 4194304 4196468 140723460047456 140520820768808 140521359912288 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18920] ppid=18781 vsize=8068440 memory=1656 CPUtime=0.3 cores=0,2,4,6
/proc/18908/task/18920/stat : 18920 (java) S 18781 18781 12870 0 -1 1077944384 1592 0 0 0 30 0 0 0 20 0 19 0 405956678 8262082560 60376 33554432000 4194304 4196468 140723460047456 140520819730544 140521376512642 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18921] ppid=18781 vsize=8068440 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18921/stat : 18921 (java) S 18781 18781 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405956678 8262082560 60376 33554432000 4194304 4196468 140723460047456 140519048997088 140521376511701 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18922] ppid=18781 vsize=8068440 memory=8039887049847965858 CPUtime=0.33 cores=0,2,4,6
/proc/18908/task/18922/stat : 18922 (java) S 18781 18781 12870 0 -1 1077944384 25 0 0 0 17 16 0 0 20 0 19 0 405956678 8262082560 60376 33554432000 4194304 4196468 140723460047456 140520818678960 140521376512642 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18924] ppid=18781 vsize=8068440 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18924/stat : 18924 (java) S 18781 18781 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405956747 8262082560 60376 33554432000 4194304 4196468 140723460047456 140520810645184 140521376526105 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18926] ppid=18781 vsize=8068440 memory=11928 CPUtime=0.33 cores=0,2,4,6
/proc/18908/task/18926/stat : 18926 (java) R 18781 18781 12870 0 -1 4202560 319 0 0 0 31 2 0 0 20 0 19 0 405956747 8262082560 60376 33554432000 4194304 4196468 140723460047456 140518512111632 140521376523421 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18927] ppid=18781 vsize=8068440 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18927/stat : 18927 (java) S 18781 18781 12870 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 405956747 8262082560 60376 33554432000 4194304 4196468 140723460047456 140518377889456 140521376523421 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18928] ppid=18781 vsize=8068440 memory=5828 CPUtime=0 cores=0,2,4,6
/proc/18908/task/18928/stat : 18928 (java) S 18781 18781 12870 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 405956750 8262082560 60376 33554432000 4194304 4196468 140723460047456 140518646340784 140521376511701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
Current children cumulated CPU time: 382.9 s
Current children cumulated vsize: 9102476 KiB
Current children cumulated memory: 1002372 KiB
[startup+376.801 s]
/proc/loadavg: 2.01 2.16 2.19 3/239 18996
/proc/meminfo: memFree=29414728/32770624 swapFree=66933008/67108860
[pid=18781] ppid=18778 vsize=113128 memory=1476 CPUtime=37.7 cores=0,2,4,6
/proc/18781/stat : 18781 (scop.sh) S 18778 18781 12870 0 -1 4202496 583 43127 0 0 0 0 3651 119 20 0 1 0 405953389 115843072 369 33554432000 4194304 5098028 140729579227520 140729579224264 140669329666684 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15831040 140729579234147 140729579234416 140729579234416 140729579237325 0
/proc/18781/statm: 28282 369 311 221 0 87 0
[pid=18908] ppid=18781 vsize=7937364 memory=338544 CPUtime=346.01 cores=0,2,4,6
/proc/18908/stat : 18908 (java) S 18781 18781 12870 0 -1 1077944320 27047 1197860 0 0 308 24 34180 89 20 0 17 0 405956672 8127860736 84636 33554432000 4194304 4196468 140723460047456 140723460030000 140521376501495 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
/proc/18908/statm: 1984341 84636 3240 1 0 1945685 0
[pid=18908/tid=18909] ppid=18781 vsize=7937364 memory=2832 CPUtime=343.64 cores=0,2,4,6
/proc/18908/task/18909/stat : 18909 (java) R 18781 18781 12870 0 -1 4202560 17488 1197860 0 0 88 7 34180 89 20 0 17 0 405956672 8127860736 84636 33554432000 4194304 4196468 140723460047456 140521348339840 140521369187127 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18910] ppid=18781 vsize=7937364 memory=1548 CPUtime=342.69 cores=0,2,4,6
/proc/18908/task/18910/stat : 18910 (java) S 18781 18781 12870 0 -1 1077944384 1 1197860 0 0 0 0 34180 89 20 0 17 0 405956673 8127860736 84636 33554432000 4194304 4196468 140723460047456 140521380743824 140521376511701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18911] ppid=18781 vsize=7937364 memory=1056 CPUtime=342.69 cores=0,2,4,6
/proc/18908/task/18911/stat : 18911 (java) S 18781 18781 12870 0 -1 1077944384 1 1197860 0 0 0 0 34180 89 20 0 17 0 405956673 8127860736 84636 33554432000 4194304 4196468 140723460047456 140521198832144 140521376511701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18912] ppid=18781 vsize=7937364 memory=8039887049847965858 CPUtime=342.69 cores=0,2,4,6
/proc/18908/task/18912/stat : 18912 (java) S 18781 18781 12870 0 -1 1077944384 1 1197860 0 0 0 0 34180 89 20 0 17 0 405956673 8127860736 84636 33554432000 4194304 4196468 140723460047456 140521197779344 140521376511701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18913] ppid=18781 vsize=7937364 memory=1124 CPUtime=342.69 cores=0,2,4,6
/proc/18908/task/18913/stat : 18913 (java) S 18781 18781 12870 0 -1 1077944384 2 1197860 0 0 0 0 34180 89 20 0 17 0 405956673 8127860736 84636 33554432000 4194304 4196468 140723460047456 140520859793680 140521376511701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18914] ppid=18781 vsize=7937364 memory=1476 CPUtime=342.69 cores=0,2,4,6
/proc/18908/task/18914/stat : 18914 (java) S 18781 18781 12870 0 -1 1077944384 5 1197860 0 0 0 0 34180 89 20 0 17 0 405956675 8127860736 84636 33554432000 4194304 4196468 140723460047456 140520822889328 140521376512642 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18915] ppid=18781 vsize=7937364 memory=120608 CPUtime=342.69 cores=0,2,4,6
/proc/18908/task/18915/stat : 18915 (java) S 18781 18781 12870 0 -1 1077944384 13 1197860 0 0 0 0 34180 89 20 0 17 0 405956675 8127860736 84636 33554432000 4194304 4196468 140723460047456 140520189847072 140521376511701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18916] ppid=18781 vsize=7937364 memory=758124 CPUtime=342.69 cores=0,2,4,6
/proc/18908/task/18916/stat : 18916 (java) S 18781 18781 12870 0 -1 1077944384 1 1197860 0 0 0 0 34180 89 20 0 17 0 405956675 8127860736 84636 33554432000 4194304 4196468 140723460047456 140519921411440 140521376511701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18917] ppid=18781 vsize=7937364 memory=2032 CPUtime=342.69 cores=0,2,4,6
/proc/18908/task/18917/stat : 18917 (java) S 18781 18781 12870 0 -1 1077944384 3 1197860 0 0 0 0 34180 89 20 0 17 0 405956678 8127860736 84636 33554432000 4194304 4196468 140723460047456 140519546902864 140521376520091 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18918] ppid=18781 vsize=7937364 memory=1332 CPUtime=343.28 cores=0,2,4,6
/proc/18908/task/18918/stat : 18918 (java) R 18781 18781 12870 0 -1 4202560 3166 1197860 0 0 58 1 34180 89 20 0 17 0 405956678 8127860736 84636 33554432000 4194304 4196468 140723460047456 140520821826256 140521362565691 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18919] ppid=18781 vsize=7937364 memory=11928 CPUtime=343.26 cores=0,2,4,6
/proc/18908/task/18919/stat : 18919 (java) S 18781 18781 12870 0 -1 1077944384 2837 1197860 0 0 56 1 34180 89 20 0 17 0 405956678 8127860736 84636 33554432000 4194304 4196468 140723460047456 140520820783344 140521376512642 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18920] ppid=18781 vsize=7937364 memory=2124 CPUtime=343.09 cores=0,2,4,6
/proc/18908/task/18920/stat : 18920 (java) S 18781 18781 12870 0 -1 1077944384 1779 1197860 0 0 39 1 34180 89 20 0 17 0 405956678 8127860736 84636 33554432000 4194304 4196468 140723460047456 140520819730544 140521376512642 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18921] ppid=18781 vsize=7937364 memory=5828 CPUtime=342.69 cores=0,2,4,6
/proc/18908/task/18921/stat : 18921 (java) S 18781 18781 12870 0 -1 1077944384 3 1197860 0 0 0 0 34180 89 20 0 17 0 405956678 8127860736 84636 33554432000 4194304 4196468 140723460047456 140519048997088 140521376511701 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18922] ppid=18781 vsize=7937364 memory=504 CPUtime=343.02 cores=0,2,4,6
/proc/18908/task/18922/stat : 18922 (java) S 18781 18781 12870 0 -1 1077944384 25 1197860 0 0 17 16 34180 89 20 0 17 0 405956678 8127860736 84636 33554432000 4194304 4196468 140723460047456 140520818678960 140521376512642 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18924] ppid=18781 vsize=7937364 memory=1564 CPUtime=342.69 cores=0,2,4,6
/proc/18908/task/18924/stat : 18924 (java) S 18781 18781 12870 0 -1 1077944384 28 1197860 0 0 0 0 34180 89 20 0 17 0 405956747 8127860736 84636 33554432000 4194304 4196468 140723460047456 140520810644368 140521376512642 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
[pid=18908/tid=18928] ppid=18781 vsize=7937364 memory=924 CPUtime=342.69 cores=0,2,4,6
/proc/18908/task/18928/stat : 18928 (java) S 18781 18781 12870 0 -1 1077944384 29 1197860 0 0 0 0 34180 89 20 0 17 0 405956750 8127860736 84636 33554432000 4194304 4196468 140723460047456 140518646342576 140521376512642 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37548032 140723460051963 140723460052122 140723460052122 140723460054991 0
Current children cumulated CPU time: 383.71 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 340020 KiB
Child status: 0
Real time (s): 376.828
CPU time (s): 383.77
CPU user time (s): 381.409
CPU system time (s): 2.3603
CPU usage (%): 101.842
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 3979264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 381.409
system time used= 2.3603
maximum resident set size= 3978084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1268657
page faults= 0
swaps= 0
block input operations= 16
block output operations= 339600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15022
involuntary context switches= 596
# summary of solver processes directly reported to runsolver:
# pid: 18781
# total CPU time (s): 383.77
# total CPU user time (s): 381.409
# total CPU system time (s): 2.3603
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.83876 second user time and 4.0423 second system time
The end