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-10147-serial-file.bin HOME/instance-4388386-1568298331.xml
0.66/0.53
0.66/0.53 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.53
0.66/0.56 c BEGIN-Prog: Thu Sep 12 16:24:51 CEST 2019
0.66/0.56 c PID: 10150
0.66/0.56 c IP: 172.20.3.124
0.66/0.56 c HOST: node124.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.19/0.87 c (0,0) Parsing End
1.19/0.88 c (0,0) CSP: 35 int (0 aux), 0 bool (0 aux), 27 ctr, max domain size 26
1.19/0.88 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.88 c (0,0) Constraint Name Generate Begin
1.19/0.88 c (0,0) Ctr:HOME/instance-4388386-1568298331.xml,AllDifferent:Dist:Eq:Var
1.19/0.88 c (0,0) Constraint Name Generate End
1.19/0.88 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.88 c (0,0) CSP to CSPinCNF Begin
1.40/0.98 c (0,0) translated 3 (10%) constraints
1.40/1.00 c (0,0) translated 6 (20%) constraints
1.58/1.01 c (0,0) translated 9 (30%) constraints
1.58/1.02 c (0,0) translated 11 (40%) constraints
1.58/1.03 c (0,0) translated 14 (50%) constraints
1.58/1.04 c (0,0) translated 17 (60%) constraints
1.58/1.04 c (0,0) translated 19 (70%) constraints
1.58/1.05 c (0,0) translated 22 (80%) constraints
1.58/1.06 c (0,0) translated 25 (90%) constraints
1.58/1.09 c (0,0) translated 27 (100%) constraints
2.05/1.22 c (0,0) ===========================================
2.05/1.24 c (0,0) Hybrid: #OE=35, #LE=0
2.05/1.24 c (0,0) Hybrid
2.59/1.48 c (0,0) ===========================================
2.59/1.48 c (0,0) translated 45 (10%) constraints
2.59/1.48 c (0,0) translated 90 (20%) constraints
2.59/1.48 c (0,0) translated 135 (30%) constraints
2.59/1.48 c (0,0) translated 180 (40%) constraints
2.59/1.48 c (0,0) translated 225 (50%) constraints
2.59/1.48 c (0,0) translated 270 (60%) constraints
2.59/1.48 c (0,0) translated 315 (70%) constraints
2.59/1.48 c (0,0) translated 360 (80%) constraints
2.59/1.48 c (0,0) translated 405 (90%) constraints
2.59/1.48 c (0,0) translated 450 (100%) constraints
2.59/1.48 c (0,0) CSP to CSPinCNF End
2.59/1.48 c (0,0) CSP: 35 int (0 aux), 625 bool (625 aux), 1700 ctr, max domain size 26
2.59/1.48 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.59/1.48 c (0,0) CSPinCNF Propagation Begin
2.59/1.48 c (0,0) 0 values, 0 unsatisfiable literals, and 51 valid clauses are removed
2.59/1.48 c (0,0) CSPinCNF Propagation End
2.59/1.48 c (0,0) CSP: 35 int (0 aux), 625 bool (625 aux), 1649 ctr, max domain size 26
2.59/1.48 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.92/1.50 c (0,0) Hybrid: #OE=660, #LE=0
2.92/1.50 c (0,0) Simplify CSPinCNF Begin
2.92/1.54 c (1,0) Simplify CSPinCNF End
2.92/1.54 c (1,0) CSP: 35 int (0 aux), 1365 bool (1365 aux), 2389 ctr, max domain size 26
2.92/1.54 c (1,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.92/1.54 c (1,0) Calculate Precise Domain Begin
2.92/1.54 c (1,0) 0 values are removed by re-calculation
2.92/1.54 c (1,0) Calculate Precise Domain End
2.92/1.54 c (1,1) CSP: 35 int (0 aux), 1365 bool (1365 aux), 2389 ctr, max domain size 26
2.92/1.54 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.92/1.54 c (1,1) CSPinCNF to SatSolver Begin
4.22/1.93 c (1,1) 239 (10 %) CSP clauses are encoded (0 SAT variables, 35328 SAT clauses)
4.22/1.96 c (1,1) 478 (20 %) CSP clauses are encoded (0 SAT variables, 39374 SAT clauses)
4.22/2.00 c (1,1) 717 (30 %) CSP clauses are encoded (0 SAT variables, 43429 SAT clauses)
4.57/2.03 c (1,1) 956 (40 %) CSP clauses are encoded (0 SAT variables, 47508 SAT clauses)
4.57/2.05 c (1,1) 1195 (50 %) CSP clauses are encoded (0 SAT variables, 51059 SAT clauses)
4.57/2.06 c (1,1) 1434 (60 %) CSP clauses are encoded (0 SAT variables, 51298 SAT clauses)
4.57/2.06 c (1,1) 1673 (70 %) CSP clauses are encoded (0 SAT variables, 51537 SAT clauses)
4.57/2.06 c (1,1) 1912 (80 %) CSP clauses are encoded (0 SAT variables, 51776 SAT clauses)
4.57/2.07 c (1,1) 2151 (90 %) CSP clauses are encoded (0 SAT variables, 52015 SAT clauses)
4.57/2.07 c (1,1) 2389 (100 %) CSP clauses are encoded (0 SAT variables, 52253 SAT clauses)
4.57/2.07 c (1,1) CSPinCNF to SatSolver End
4.57/2.07 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.57/2.07 c (1,1) 2215 bool, 52254 clause
4.57/2.07 c (1,1) Export Begin
4.88/2.15 c (1,1) Export to HOME/scop-10147-serial-file.bin
4.88/2.15 c (1,1) Export End
4.88/2.15 c (1,1) Export File Size: 0.01 MB
4.88/2.15 c (1,1) 0,0,0,0,1,1,1,STOP-AFTER(DIMACS)
4.88/2.15 c END-Prog: Thu Sep 12 16:24:53 CEST 2019
4.88/2.17 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10147-serial-file.bin
5.00/2.63 c (0,0) Read Serial File Begin
5.00/2.63 c (0,0) HOME/scop-10147-serial-file.bin
5.00/2.82 c (0,0) Read Serial File End
5.00/2.84
5.00/2.84 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
5.00/2.84 (Solving Process)
5.00/2.84
5.00/2.86 c BEGIN-Prog: Thu Sep 12 16:24:54 CEST 2019
5.00/2.86 c PID: 10165
5.00/2.86 c IP: 172.20.3.124
5.00/2.86 c HOST: node124.alineos.net
5.00/2.86 c (0,0) SatSolver.solve Begin
5.00/2.86 c (0,0) HOME/cryptominisat5 HOME/instance-4388386-1568298331.xml-scop-10150.cnf
5.00/2.89 c (0,0) c Outputting solution to console
5.00/2.89 c (0,0) c CryptoMiniSat version 5.6.8
5.00/2.89 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
5.00/2.89 c (0,0) c CMS SHA revision GIT-notfound
5.00/2.89 c (0,0) c CMS is MIT licensed
5.00/2.89 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
5.00/2.89 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
5.00/2.89 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388386-1568298331.xml-scop-10150.cnf
5.00/2.89 c (0,0) c Reading file 'HOME/instance-4388386-1568298331.xml-scop-10150.cnf'
5.00/2.89 c (0,0) c -- header says num vars: 2215
5.00/2.89 c (0,0) c -- header says num clauses: 52254
5.00/2.91 c (0,0) c -- clauses added: 52254
5.00/2.91 c (0,0) c -- xor clauses added: 0
5.00/2.91 c (0,0) c -- vars added 2215
5.00/2.91 c (0,0) c Parsing time: 0.02 s
5.00/2.92 c (0,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
5.00/2.92 c (0,0) c [distill] long cls tried: 7/7 cl-short:7 lit-r:13 T: 0.00 T-out: N T-r: 99.99%
6.42/3.22 c (0,0) c [distill] long cls tried: 271/269 cl-short:271 lit-r:56 T: 0.02 T-out: N T-r: 99.75%
6.82/3.61 c (1,0) c [distill] long cls tried: 175/441 cl-short:175 lit-r:64 T: 0.02 T-out: N T-r: 99.79%
6.92/3.78 c (1,0) c glue 1 56 8193 2215 48K 3865 3.30 3.20 490 1280 6438 15 41.28 41.21
7.23/4.03 c (1,0) c ------- FINAL TOTAL SEARCH STATS ---------
7.23/4.03 c (1,0) c UIP search time : 1.11 (98.13 % time)
7.23/4.03 c (1,0) c restarts : 63 (162.21 confls per restart)
7.23/4.03 c (1,0) c blocked restarts : 0 (0.00 per normal restart)
7.23/4.03 c (1,0) c time : 1.11
7.23/4.03 c (1,0) c decisions : 19995 (0.00 % random)
7.23/4.03 c (1,0) c propagations : 3768257
7.23/4.03 c (1,0) c decisions/conflicts : 1.96
7.23/4.03 c (1,0) c conflicts : 10219 (9188.81 / sec)
7.23/4.03 c (1,0) c conf lits non-minim : 584019 (57.15 lit/confl)
7.23/4.03 c (1,0) c conf lits final : 42.94
7.23/4.03 c (1,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
7.23/4.03 c (1,0) c red which0 : 555 (5.43 % of confl)
7.23/4.03 c (1,0) c props/decision : 0.00
7.23/4.03 c (1,0) c props/conflict : 0.00
7.23/4.03 c (1,0) c 0-depth assigns : 0 (0.00 % vars)
7.23/4.03 c (1,0) c 0-depth assigns by CNF : 0 (0.00 % vars)
7.23/4.03 c (1,0) c reduceDB time : 0.00 (0.00 % time)
7.23/4.03 c (1,0) c OccSimplifier time : 0.00 (0.00 % time)
7.23/4.03 c (1,0) c [occur] 0.00 is overhead
7.23/4.03 c (1,0) c [occur] link-in T: 0.00 cleanup T: 0.00
7.23/4.03 c (1,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
7.23/4.03 c (1,0) c SCC time : 0.00 (0.00 % time)
7.23/4.03 c (1,0) c [scc] new: 0 BP 0M T: 0.00
7.23/4.03 c (1,0) c vrep replace time : 0.00 (0.00 % time)
7.23/4.03 c (1,0) c vrep tree roots : 0
7.23/4.03 c (1,0) c vrep trees' crown : 0 (0.00 leafs/tree)
7.23/4.03 c (1,0) c distill time : 0.05 (4.01 % time)
7.23/4.03 c (1,0) c strength cache-irred time: 0.00 (0.00 % time)
7.23/4.03 c (1,0) c strength cache-red time : 0.00 (0.00 % time)
7.23/4.03 c (1,0) c Conflicts in UIP : 10219 (9016.63 confl/time_this_thread)
7.23/4.03 c (1,0) c Mem used : 11.75 MB
7.23/4.03 c (1,0) c Total time (this thread) : 1.13
7.23/4.03 c (1,0) s SATISFIABLE
7.23/4.07 c (1,0) SatSolver.solve End
7.23/4.07 c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
7.23/4.07 c (1,0) Show results Begin
7.44/4.15 c (1,0) ce[0][0][1] = 1
7.44/4.15 c (1,0) ce[0][0][2] = 18
7.44/4.15 c (1,0) ce[0][0][3] = 7
7.44/4.15 c (1,0) ce[0][0][4] = 14
7.44/4.15 c (1,0) ce[0][1][2] = 19
7.44/4.15 c (1,0) ce[0][1][3] = 6
7.44/4.15 c (1,0) ce[0][1][4] = 15
7.44/4.15 c (1,0) ce[0][2][3] = 25
7.44/4.15 c (1,0) ce[0][2][4] = 4
7.44/4.15 c (1,0) ce[0][3][4] = 21
7.44/4.15 c (1,0) ce[1][0][1] = 3
7.44/4.15 c (1,0) ce[1][0][2] = 17
7.44/4.15 c (1,0) ce[1][0][3] = 5
7.44/4.15 c (1,0) ce[1][0][4] = 8
7.44/4.15 c (1,0) ce[1][1][2] = 20
7.44/4.15 c (1,0) ce[1][1][3] = 2
7.44/4.15 c (1,0) ce[1][1][4] = 11
7.44/4.15 c (1,0) ce[1][2][3] = 22
7.44/4.15 c (1,0) ce[1][2][4] = 9
7.44/4.15 c (1,0) ce[1][3][4] = 13
7.44/4.15 c (1,0) cie[0][0] = 12
7.44/4.15 c (1,0) cie[0][1] = 16
7.44/4.15 c (1,0) cie[0][2] = 23
7.44/4.15 c (1,0) cie[0][3] = 24
7.44/4.15 c (1,0) cie[0][4] = 10
7.44/4.15 c (1,0) cn[0][0] = 18
7.44/4.15 c (1,0) cn[0][1] = 19
7.44/4.15 c (1,0) cn[0][2] = 0
7.44/4.15 c (1,0) cn[0][3] = 25
7.44/4.15 c (1,0) cn[0][4] = 4
7.44/4.15 c (1,0) cn[1][0] = 6
7.44/4.15 c (1,0) cn[1][1] = 3
7.44/4.15 c (1,0) cn[1][2] = 23
7.44/4.15 c (1,0) cn[1][3] = 1
7.44/4.15 c (1,0) cn[1][4] = 14
7.44/4.15 s SATISFIABLE
7.44/4.16 v <instantiation>
7.44/4.16 v <list>cn[0][0] cn[0][1] cn[0][2] cn[0][3] cn[0][4] cn[1][0] cn[1][1] cn[1][2] cn[1][3] cn[1][4] ce[0][0][1] ce[0][0][2] ce[0][0][3] ce[0][0][4] ce[0][1][2] ce[0][1][3] ce[0][1][4] ce[0][2][3] ce[0][2][4] ce[0][3][4] ce[1][0][1] ce[1][0][2] ce[1][0][3] ce[1][0][4] ce[1][1][2] ce[1][1][3] ce[1][1][4] ce[1][2][3] ce[1][2][4] ce[1][3][4] cie[0][0] cie[0][1] cie[0][2] cie[0][3] cie[0][4]</list>
7.44/4.16 v <values>18 19 0 25 4 6 3 23 1 14 1 18 7 14 19 6 15 25 4 21 3 17 5 8 20 2 11 22 9 13 12 16 23 24 10</values>
7.44/4.16 v </instantiation>
7.44/4.16 c (1,0) Show results End
7.44/4.16 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
7.44/4.16 c (1,0) 1,1,STOP-AFTER(ALL)
7.44/4.16 c END-Prog: Thu Sep 12 16:24:55 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 (7663 MiB free)
memory of node 1: 16384 MiB (6876 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388386-1568298331/watcher-4388386-1568298331 -o /tmp/evaluation-result-4388386-1568298331/solver-4388386-1568298331 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568286434-6491 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388386-1568298331.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=10147, runsolver pid=10144
[startup+0.100365 s]*
/proc/loadavg: 2.06 2.21 2.18 4/234 10164
/proc/meminfo: memFree=14825936/32770624 swapFree=66959212/67108860
[pid=10147] ppid=10144 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10147/stat : 10147 (scop.sh) S 10144 10147 5595 0 -1 4202496 554 322 0 0 0 0 0 0 20 0 1 0 405773244 115843072 349 33554432000 4194304 5098028 140720396200304 140720396197560 140249173402236 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18345984 140720396202851 140720396203120 140720396203120 140720396206029 0
/proc/10147/statm: 28282 349 296 221 0 87 0
[pid=10150] ppid=10147 vsize=15012696 memory=75564 CPUtime=0.11 cores=0,2,4,6
/proc/10150/stat : 10150 (java) S 10147 10147 5595 0 -1 1077944320 6727 0 0 0 10 1 0 0 20 0 15 0 405773244 15373000704 18891 33554432000 4194304 4196468 140730325796640 140730325779184 140146956496631 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
/proc/10150/statm: 3753174 18891 2886 1 0 3715579 0
[pid=10150/tid=10151] ppid=10147 vsize=15013720 memory=-6365693782208593859 CPUtime=0.09 cores=0,2,4,6
/proc/10150/task/10151/stat : 10151 (java) R 10147 10147 5595 0 -1 4202560 4744 0 0 0 8 1 0 0 20 0 15 0 405773245 15374049280 19154 33554432000 4194304 4196468 140730325796640 140146928280880 140146949176349 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10152] ppid=10147 vsize=15013720 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10152/stat : 10152 (java) S 10147 10147 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405773246 15374049280 19154 33554432000 4194304 4196468 140730325796640 140146960738704 140146956506837 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10153] ppid=10147 vsize=15013720 memory=140461214381696 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10153/stat : 10153 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405773246 15374049280 19154 33554432000 4194304 4196468 140730325796640 140146736441616 140146956506837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10154] ppid=10147 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10154/stat : 10154 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405773246 15374049280 19154 33554432000 4194304 4196468 140730325796640 140146735389328 140146956506837 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10155] ppid=10147 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10155/stat : 10155 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405773246 15374049280 19154 33554432000 4194304 4196468 140730325796640 140146734336528 140146956506837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10156] ppid=10147 vsize=15013720 memory=140461214381696 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10156/stat : 10156 (java) S 10147 10147 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405773248 15374049280 19154 33554432000 4194304 4196468 140730325796640 140145993906800 140146956507778 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10157] ppid=10147 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10157/stat : 10157 (java) S 10147 10147 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405773248 15374049280 19154 33554432000 4194304 4196468 140730325796640 140145521059104 140146956506837 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10158] ppid=10147 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10158/stat : 10158 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405773248 15374049280 19154 33554432000 4194304 4196468 140730325796640 140145252623984 140146956506837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10159] ppid=10147 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10159/stat : 10159 (java) S 10147 10147 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405773251 15374049280 19154 33554432000 4194304 4196468 140730325796640 140144878115408 140146956515227 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10160] ppid=10147 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10160/stat : 10160 (java) S 10147 10147 5595 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 405773251 15374049280 19154 33554432000 4194304 4196468 140730325796640 140145992853616 140146956507778 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10161] ppid=10147 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10161/stat : 10161 (java) S 10147 10147 5595 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 405773251 15374049280 19154 33554432000 4194304 4196468 140730325796640 140145923713008 140146956507778 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10162] ppid=10147 vsize=15013720 memory=140461214381696 CPUtime=0.01 cores=0,2,4,6
/proc/10150/task/10162/stat : 10162 (java) S 10147 10147 5595 0 -1 1077944384 459 0 0 0 1 0 0 0 20 0 15 0 405773251 15374049280 19154 33554432000 4194304 4196468 140730325796640 140145922660720 140146956507778 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10163] ppid=10147 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10163/stat : 10163 (java) S 10147 10147 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405773251 15374049280 19154 33554432000 4194304 4196468 140730325796640 140144380209632 140146956506837 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10164] ppid=10147 vsize=15013720 memory=140461214381696 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10164/stat : 10164 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405773251 15374049280 19154 33554432000 4194304 4196468 140730325796640 140145921608624 140146956507778 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 76960 KiB
[startup+0.210803 s]*
/proc/loadavg: 2.06 2.21 2.18 3/234 10164
/proc/meminfo: memFree=14810552/32770624 swapFree=66959212/67108860
[pid=10147] ppid=10144 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10147/stat : 10147 (scop.sh) S 10144 10147 5595 0 -1 4202496 554 322 0 0 0 0 0 0 20 0 1 0 405773244 115843072 349 33554432000 4194304 5098028 140720396200304 140720396197560 140249173402236 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18345984 140720396202851 140720396203120 140720396203120 140720396206029 0
/proc/10147/statm: 28282 349 296 221 0 87 0
[pid=10150] ppid=10147 vsize=15012696 memory=88780 CPUtime=0.25 cores=0,2,4,6
/proc/10150/stat : 10150 (java) S 10147 10147 5595 0 -1 1077944320 11234 0 0 0 22 3 0 0 20 0 15 0 405773244 15373000704 22195 33554432000 4194304 4196468 140730325796640 140730325779184 140146956496631 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
/proc/10150/statm: 3753174 22195 2950 1 0 3715579 0
[pid=10150/tid=10151] ppid=10147 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/10150/task/10151/stat : 10151 (java) R 10147 10147 5595 0 -1 4202560 8963 0 0 0 17 3 0 0 20 0 15 0 405773245 15373000704 22195 33554432000 4194304 4196468 140730325796640 140146928296016 140146937890365 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10152] ppid=10147 vsize=15012696 memory=397 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10152/stat : 10152 (java) S 10147 10147 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405773246 15373000704 22195 33554432000 4194304 4196468 140730325796640 140146960738704 140146956506837 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10153] ppid=10147 vsize=15012696 memory=3977998915139909280 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10153/stat : 10153 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405773246 15373000704 22195 33554432000 4194304 4196468 140730325796640 140146736441616 140146956506837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10154] ppid=10147 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10154/stat : 10154 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405773246 15373000704 22195 33554432000 4194304 4196468 140730325796640 140146735389328 140146956506837 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10155] ppid=10147 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10155/stat : 10155 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405773246 15373000704 22195 33554432000 4194304 4196468 140730325796640 140146734336528 140146956506837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10156] ppid=10147 vsize=15012696 memory=140461214381696 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10156/stat : 10156 (java) S 10147 10147 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405773248 15373000704 22195 33554432000 4194304 4196468 140730325796640 140145993906800 140146956507778 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10157] ppid=10147 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10157/stat : 10157 (java) S 10147 10147 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405773248 15373000704 22195 33554432000 4194304 4196468 140730325796640 140145521059104 140146956506837 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10158] ppid=10147 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10158/stat : 10158 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405773248 15373000704 22195 33554432000 4194304 4196468 140730325796640 140145252623984 140146956506837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10159] ppid=10147 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10159/stat : 10159 (java) S 10147 10147 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405773251 15373000704 22195 33554432000 4194304 4196468 140730325796640 140144878115408 140146956515227 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10160] ppid=10147 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10160/stat : 10160 (java) S 10147 10147 5595 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 405773251 15373000704 22195 33554432000 4194304 4196468 140730325796640 140145992853616 140146956507778 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10161] ppid=10147 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10161/stat : 10161 (java) S 10147 10147 5595 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 15 0 405773251 15373000704 22195 33554432000 4194304 4196468 140730325796640 140145923713008 140146956507778 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10162] ppid=10147 vsize=15012696 memory=140461214381696 CPUtime=0.03 cores=0,2,4,6
/proc/10150/task/10162/stat : 10162 (java) R 10147 10147 5595 0 -1 4202560 473 0 0 0 3 0 0 0 20 0 15 0 405773251 15373000704 22195 33554432000 4194304 4196468 140730325796640 140145922660720 140146935434940 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10163] ppid=10147 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10163/stat : 10163 (java) S 10147 10147 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405773251 15373000704 22195 33554432000 4194304 4196468 140730325796640 140144380209632 140146956506837 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10164] ppid=10147 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10164/stat : 10164 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405773251 15373000704 22195 33554432000 4194304 4196468 140730325796640 140145921608624 140146956507778 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90176 KiB
[startup+0.310723 s]*
/proc/loadavg: 2.06 2.21 2.18 3/234 10164
/proc/meminfo: memFree=14807396/32770624 swapFree=66959212/67108860
[pid=10147] ppid=10144 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10147/stat : 10147 (scop.sh) S 10144 10147 5595 0 -1 4202496 554 322 0 0 0 0 0 0 20 0 1 0 405773244 115843072 349 33554432000 4194304 5098028 140720396200304 140720396197560 140249173402236 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18345984 140720396202851 140720396203120 140720396203120 140720396206029 0
/proc/10147/statm: 28282 349 296 221 0 87 0
[pid=10150] ppid=10147 vsize=15012696 memory=92464 CPUtime=0.43 cores=0,2,4,6
/proc/10150/stat : 10150 (java) S 10147 10147 5595 0 -1 1077944320 12170 0 0 0 39 4 0 0 20 0 15 0 405773244 15373000704 23116 33554432000 4194304 4196468 140730325796640 140730325779184 140146956496631 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
/proc/10150/statm: 3753174 23116 3028 1 0 3715579 0
[pid=10150/tid=10151] ppid=10147 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/10150/task/10151/stat : 10151 (java) R 10147 10147 5595 0 -1 4202560 9716 0 0 0 26 4 0 0 20 0 15 0 405773245 15373000704 23116 33554432000 4194304 4196468 140730325796640 140146928308976 140146941662224 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10152] ppid=10147 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10152/stat : 10152 (java) S 10147 10147 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405773246 15373000704 23116 33554432000 4194304 4196468 140730325796640 140146960738704 140146956506837 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10153] ppid=10147 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10153/stat : 10153 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405773246 15373000704 23116 33554432000 4194304 4196468 140730325796640 140146736441616 140146956506837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10154] ppid=10147 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10154/stat : 10154 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405773246 15373000704 23116 33554432000 4194304 4196468 140730325796640 140146735389328 140146956506837 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10155] ppid=10147 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10155/stat : 10155 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405773246 15373000704 23116 33554432000 4194304 4196468 140730325796640 140146734336528 140146956506837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10156] ppid=10147 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10156/stat : 10156 (java) S 10147 10147 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405773248 15373000704 23116 33554432000 4194304 4196468 140730325796640 140145993906800 140146956507778 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10157] ppid=10147 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10157/stat : 10157 (java) S 10147 10147 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405773248 15373000704 23116 33554432000 4194304 4196468 140730325796640 140145521059104 140146956506837 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10158] ppid=10147 vsize=15012696 memory=8982046290584177472 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10158/stat : 10158 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405773248 15373000704 23116 33554432000 4194304 4196468 140730325796640 140145252623984 140146956506837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10159] ppid=10147 vsize=15012696 memory=8325818968683490714 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10159/stat : 10159 (java) S 10147 10147 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405773251 15373000704 23116 33554432000 4194304 4196468 140730325796640 140144878115408 140146956515227 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10160] ppid=10147 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10150/task/10160/stat : 10160 (java) S 10147 10147 5595 0 -1 1077944384 379 0 0 0 2 0 0 0 20 0 15 0 405773251 15373000704 23116 33554432000 4194304 4196468 140730325796640 140145992853616 140146956507778 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10161] ppid=10147 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10150/task/10161/stat : 10161 (java) S 10147 10147 5595 0 -1 1077944384 249 0 0 0 2 0 0 0 20 0 15 0 405773251 15373000704 23116 33554432000 4194304 4196468 140730325796640 140145923713008 140146956507778 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10162] ppid=10147 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10150/task/10162/stat : 10162 (java) S 10147 10147 5595 0 -1 1077944384 495 0 0 0 7 0 0 0 20 0 15 0 405773251 15373000704 23116 33554432000 4194304 4196468 140730325796640 140145922660720 140146956507778 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10163] ppid=10147 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10163/stat : 10163 (java) S 10147 10147 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405773251 15373000704 23116 33554432000 4194304 4196468 140730325796640 140144380209632 140146956506837 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10164] ppid=10147 vsize=15012696 memory=3473456403865154608 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10164/stat : 10164 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405773251 15373000704 23116 33554432000 4194304 4196468 140730325796640 140145921608624 140146956507778 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93860 KiB
[startup+0.700868 s]
/proc/loadavg: 2.06 2.21 2.18 3/234 10164
/proc/meminfo: memFree=14784204/32770624 swapFree=66959212/67108860
[pid=10147] ppid=10144 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10147/stat : 10147 (scop.sh) S 10144 10147 5595 0 -1 4202496 554 322 0 0 0 0 0 0 20 0 1 0 405773244 115843072 349 33554432000 4194304 5098028 140720396200304 140720396197560 140249173402236 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18345984 140720396202851 140720396203120 140720396203120 140720396206029 0
/proc/10147/statm: 28282 349 296 221 0 87 0
[pid=10150] ppid=10147 vsize=15021092 memory=132272 CPUtime=1.01 cores=0,2,4,6
/proc/10150/stat : 10150 (java) S 10147 10147 5595 0 -1 1077944320 19778 0 0 0 95 6 0 0 20 0 15 0 405773244 15381598208 33068 33554432000 4194304 4196468 140730325796640 140730325779184 140146956496631 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
/proc/10150/statm: 3755273 33068 3215 1 0 3716603 0
[pid=10150/tid=10151] ppid=10147 vsize=15021092 memory=-7816663703405220396 CPUtime=0.67 cores=0,2,4,6
/proc/10150/task/10151/stat : 10151 (java) R 10147 10147 5595 0 -1 4202560 16850 0 0 0 62 5 0 0 20 0 15 0 405773245 15381598208 33068 33554432000 4194304 4196468 140730325796640 140146928330256 140146956518557 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10152] ppid=10147 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10152/stat : 10152 (java) S 10147 10147 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405773246 15381598208 33068 33554432000 4194304 4196468 140730325796640 140146960738704 140146956506837 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10153] ppid=10147 vsize=15021092 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10153/stat : 10153 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405773246 15381598208 33068 33554432000 4194304 4196468 140730325796640 140146736441616 140146956506837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10154] ppid=10147 vsize=15021092 memory=37492 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10154/stat : 10154 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405773246 15381598208 33068 33554432000 4194304 4196468 140730325796640 140146735389328 140146956506837 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10155] ppid=10147 vsize=15021092 memory=988 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10155/stat : 10155 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405773246 15381598208 33068 33554432000 4194304 4196468 140730325796640 140146734336528 140146956506837 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10156] ppid=10147 vsize=15021092 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10156/stat : 10156 (java) S 10147 10147 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405773248 15381598208 33068 33554432000 4194304 4196468 140730325796640 140145993906800 140146956507778 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10157] ppid=10147 vsize=15021092 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10157/stat : 10157 (java) S 10147 10147 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405773248 15381598208 33068 33554432000 4194304 4196468 140730325796640 140145521059104 140146956506837 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10158] ppid=10147 vsize=15021092 memory=580 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10158/stat : 10158 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405773248 15381598208 33068 33554432000 4194304 4196468 140730325796640 140145252623984 140146956506837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10159] ppid=10147 vsize=15021092 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10159/stat : 10159 (java) S 10147 10147 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405773251 15381598208 33068 33554432000 4194304 4196468 140730325796640 140144878115408 140146956515227 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10160] ppid=10147 vsize=15021092 memory=10604 CPUtime=0.08 cores=0,2,4,6
/proc/10150/task/10160/stat : 10160 (java) S 10147 10147 5595 0 -1 1077944384 571 0 0 0 8 0 0 0 20 0 15 0 405773251 15381598208 33068 33554432000 4194304 4196468 140730325796640 140145992853616 140146956507778 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10161] ppid=10147 vsize=15021092 memory=3360 CPUtime=0.09 cores=0,2,4,6
/proc/10150/task/10161/stat : 10161 (java) S 10147 10147 5595 0 -1 1077944384 463 0 0 0 9 0 0 0 20 0 15 0 405773251 15381598208 33068 33554432000 4194304 4196468 140730325796640 140145923713008 140146956507778 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10162] ppid=10147 vsize=15021092 memory=776 CPUtime=0.14 cores=0,2,4,6
/proc/10150/task/10162/stat : 10162 (java) S 10147 10147 5595 0 -1 1077944384 560 0 0 0 14 0 0 0 20 0 15 0 405773251 15381598208 33068 33554432000 4194304 4196468 140730325796640 140145922660720 140146956507778 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10163] ppid=10147 vsize=15021092 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10163/stat : 10163 (java) S 10147 10147 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405773251 15381598208 33068 33554432000 4194304 4196468 140730325796640 140144380209632 140146956506837 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
[pid=10150/tid=10164] ppid=10147 vsize=15021092 memory=5960 CPUtime=0 cores=0,2,4,6
/proc/10150/task/10164/stat : 10164 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405773251 15381598208 33068 33554432000 4194304 4196468 140730325796640 140145921608624 140146956507778 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140730325803817 140730325804186 140730325804186 140730325807055 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 133668 KiB
[startup+1.50119 s]
/proc/loadavg: 2.06 2.21 2.18 4/234 10164
/proc/meminfo: memFree=14758336/32770624 swapFree=66959212/67108860
[pid=10147] ppid=10144 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10147/stat : 10147 (scop.sh) S 10144 10147 5595 0 -1 4202496 554 322 0 0 0 0 0 0 20 0 1 0 405773244 115843072 349 33554432000 4194304 5098028 140720396200304 140720396197560 140249173402236 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18345984 140720396202851 140720396203120 140720396203120 140720396206029 0
/proc/10147/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/10165/task/10181/stat : 10181 (java) S 10147 10147 5595 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405773533 8262082560 29763 33554432000 4194304 4196468 140728062456544 140213412190016 140214313643801 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10183] ppid=10147 vsize=8068440 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10183/stat : 10183 (java) S 10147 10147 5595 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 405773533 8262082560 29763 33554432000 4194304 4196468 140728062456544 140211556167568 140214313641117 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10184] ppid=10147 vsize=8068440 memory=500 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10184/stat : 10184 (java) S 10147 10147 5595 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405773533 8262082560 29763 33554432000 4194304 4196468 140728062456544 140211690389008 140214313641117 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10185] ppid=10147 vsize=8068440 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10185/stat : 10185 (java) S 10147 10147 5595 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405773536 8262082560 29763 33554432000 4194304 4196468 140728062456544 140211287743792 140214313629397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
Current children cumulated CPU time: 6.42 s
Current children cumulated vsize: 8214712 KiB
Current children cumulated memory: 130192 KiB
[startup+3.60082 s]
/proc/loadavg: 2.06 2.21 2.18 3/239 10185
/proc/meminfo: memFree=14774984/32770624 swapFree=66959212/67108860
[pid=10147] ppid=10144 vsize=113128 memory=1476 CPUtime=5 cores=0,2,4,6
/proc/10147/stat : 10147 (scop.sh) S 10144 10147 5595 0 -1 4202496 582 26341 0 0 0 0 486 14 20 0 1 0 405773244 115843072 369 33554432000 4194304 5098028 140720396200304 140720396197048 140249173402236 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18345984 140720396202851 140720396203120 140720396203120 140720396206029 0
/proc/10147/statm: 28282 369 311 221 0 87 0
[pid=10165] ppid=10147 vsize=8068440 memory=119052 CPUtime=1.12 cores=0,2,4,6
/proc/10165/stat : 10165 (java) S 10147 10147 5595 0 -1 1077944320 19246 0 0 0 105 7 0 0 20 0 19 0 405773462 8262082560 29763 33554432000 4194304 4196468 140728062456544 140728062439088 140214313619191 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
/proc/10165/statm: 2017110 29763 3201 1 0 1978454 0
[pid=10180] ppid=10165 vsize=35052 memory=10980 CPUtime=0.7 cores=0,2,4,6
/proc/10180/stat : 10180 (cryptominisat5) R 10165 10147 5595 0 -1 4202496 3120 0 0 0 70 0 0 0 20 0 1 0 405773533 35893248 2745 33554432000 4194304 4451008 140722180129792 140722180125912 139840041128601 0 4 0 2 0 0 0 17 0 0 0 0 0 0 6549032 6559120 36126720 140722180137916 140722180138048 140722180138048 140722180140998 0
/proc/10180/statm: 8763 2745 638 63 0 2490 0
[pid=10165/tid=10166] ppid=10147 vsize=8068440 memory=2828 CPUtime=0.74 cores=0,2,4,6
/proc/10165/task/10166/stat : 10166 (java) S 10147 10147 5595 0 -1 1077944384 16353 0 0 0 68 6 0 0 20 0 19 0 405773462 8262082560 29763 33554432000 4194304 4196468 140728062456544 140214285459360 140214313629397 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10167] ppid=10147 vsize=8068440 memory=1216 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10167/stat : 10167 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405773463 8262082560 29763 33554432000 4194304 4196468 140728062456544 140214317861392 140214313629397 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10168] ppid=10147 vsize=8068440 memory=984 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10168/stat : 10168 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405773463 8262082560 29763 33554432000 4194304 4196468 140728062456544 140214118029968 140214313629397 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10169] ppid=10147 vsize=8068440 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10169/stat : 10169 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405773463 8262082560 29763 33554432000 4194304 4196468 140728062456544 140214116976912 140214313629397 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10170] ppid=10147 vsize=8068440 memory=20012 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10170/stat : 10170 (java) S 10147 10147 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405773463 8262082560 29763 33554432000 4194304 4196468 140728062456544 140214115924368 140214313629397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10171] ppid=10147 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10171/stat : 10171 (java) S 10147 10147 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405773465 8262082560 29763 33554432000 4194304 4196468 140728062456544 140213424433904 140214313630338 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10172] ppid=10147 vsize=8068440 memory=10604 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10172/stat : 10172 (java) S 10147 10147 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405773465 8262082560 29763 33554432000 4194304 4196468 140728062456544 140213233903264 140214313629397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10173] ppid=10147 vsize=8068440 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10173/stat : 10173 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405773465 8262082560 29763 33554432000 4194304 4196468 140728062456544 140212965467376 140214313629397 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10174] ppid=10147 vsize=8068440 memory=776 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10174/stat : 10174 (java) S 10147 10147 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405773468 8262082560 29763 33554432000 4194304 4196468 140728062456544 140212590959056 140214313637787 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10175] ppid=10147 vsize=8068440 memory=1564 CPUtime=0.08 cores=0,2,4,6
/proc/10165/task/10175/stat : 10175 (java) S 10147 10147 5595 0 -1 1077944384 721 0 0 0 8 0 0 0 20 0 19 0 405773468 8262082560 29763 33554432000 4194304 4196468 140728062456544 140213423380720 140214313630338 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10176] ppid=10147 vsize=8068440 memory=8961 CPUtime=0.09 cores=0,2,4,6
/proc/10165/task/10176/stat : 10176 (java) S 10147 10147 5595 0 -1 1077944384 316 0 0 0 9 0 0 0 20 0 19 0 405773468 8262082560 29763 33554432000 4194304 4196468 140728062456544 140213422328176 140214313630338 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10177] ppid=10147 vsize=8068440 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/10165/task/10177/stat : 10177 (java) S 10147 10147 5595 0 -1 1077944384 470 0 0 0 18 0 0 0 20 0 19 0 405773468 8262082560 29763 33554432000 4194304 4196468 140728062456544 140213421275120 140214313630338 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10178] ppid=10147 vsize=8068440 memory=800 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10178/stat : 10178 (java) S 10147 10147 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405773468 8262082560 29763 33554432000 4194304 4196468 140728062456544 140212093053280 140214313629397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10179] ppid=10147 vsize=8068440 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10179/stat : 10179 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405773468 8262082560 29763 33554432000 4194304 4196468 140728062456544 140213420223536 140214313630338 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10181] ppid=10147 vsize=8068440 memory=924 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10181/stat : 10181 (java) S 10147 10147 5595 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405773533 8262082560 29763 33554432000 4194304 4196468 140728062456544 140213412190016 140214313643801 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10183] ppid=10147 vsize=8068440 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10183/stat : 10183 (java) S 10147 10147 5595 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 405773533 8262082560 29763 33554432000 4194304 4196468 140728062456544 140211556167568 140214313641117 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10184] ppid=10147 vsize=8068440 memory=2940 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10184/stat : 10184 (java) S 10147 10147 5595 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405773533 8262082560 29763 33554432000 4194304 4196468 140728062456544 140211690389008 140214313641117 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10185] ppid=10147 vsize=8068440 memory=2884 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10185/stat : 10185 (java) S 10147 10147 5595 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405773536 8262082560 29763 33554432000 4194304 4196468 140728062456544 140211287743792 140214313629397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
Current children cumulated CPU time: 6.82 s
Current children cumulated vsize: 8216620 KiB
Current children cumulated memory: 131508 KiB
[startup+4.00084 s]*
/proc/loadavg: 2.05 2.21 2.17 3/239 10185
/proc/meminfo: memFree=14771620/32770624 swapFree=66959212/67108860
[pid=10147] ppid=10144 vsize=113128 memory=1476 CPUtime=5 cores=0,2,4,6
/proc/10147/stat : 10147 (scop.sh) S 10144 10147 5595 0 -1 4202496 582 26341 0 0 0 0 486 14 20 0 1 0 405773244 115843072 369 33554432000 4194304 5098028 140720396200304 140720396197048 140249173402236 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18345984 140720396202851 140720396203120 140720396203120 140720396206029 0
/proc/10147/statm: 28282 369 311 221 0 87 0
[pid=10165] ppid=10147 vsize=8068440 memory=119052 CPUtime=1.12 cores=0,2,4,6
/proc/10165/stat : 10165 (java) S 10147 10147 5595 0 -1 1077944320 19246 0 0 0 105 7 0 0 20 0 19 0 405773462 8262082560 29763 33554432000 4194304 4196468 140728062456544 140728062439088 140214313619191 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
/proc/10165/statm: 2017110 29763 3201 1 0 1978454 0
[pid=10180] ppid=10165 vsize=35452 memory=12036 CPUtime=1.11 cores=0,2,4,6
/proc/10180/stat : 10180 (cryptominisat5) R 10165 10147 5595 0 -1 4202496 3382 0 0 0 111 0 0 0 20 0 1 0 405773533 36302848 3009 33554432000 4194304 4451008 140722180129792 140722180125912 139840041119974 0 4 0 2 0 0 0 17 0 0 0 0 0 0 6549032 6559120 36126720 140722180137916 140722180138048 140722180138048 140722180140998 0
/proc/10180/statm: 8863 3009 638 63 0 2590 0
[pid=10165/tid=10166] ppid=10147 vsize=8068440 memory=8039887049847965096 CPUtime=0.74 cores=0,2,4,6
/proc/10165/task/10166/stat : 10166 (java) S 10147 10147 5595 0 -1 1077944384 16353 0 0 0 68 6 0 0 20 0 19 0 405773462 8262082560 29763 33554432000 4194304 4196468 140728062456544 140214285459360 140214313629397 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10167] ppid=10147 vsize=8068440 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10167/stat : 10167 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405773463 8262082560 29763 33554432000 4194304 4196468 140728062456544 140214317861392 140214313629397 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10168] ppid=10147 vsize=8068440 memory=-6081100121596581720 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10168/stat : 10168 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405773463 8262082560 29763 33554432000 4194304 4196468 140728062456544 140214118029968 140214313629397 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10169] ppid=10147 vsize=8068440 memory=-6154581634397065563 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10169/stat : 10169 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405773463 8262082560 29763 33554432000 4194304 4196468 140728062456544 140214116976912 140214313629397 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10170] ppid=10147 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10170/stat : 10170 (java) S 10147 10147 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405773463 8262082560 29763 33554432000 4194304 4196468 140728062456544 140214115924368 140214313629397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10171] ppid=10147 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10171/stat : 10171 (java) S 10147 10147 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405773465 8262082560 29763 33554432000 4194304 4196468 140728062456544 140213424433904 140214313630338 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10172] ppid=10147 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10172/stat : 10172 (java) S 10147 10147 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405773465 8262082560 29763 33554432000 4194304 4196468 140728062456544 140213233903264 140214313629397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10173] ppid=10147 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10173/stat : 10173 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405773465 8262082560 29763 33554432000 4194304 4196468 140728062456544 140212965467376 140214313629397 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10174] ppid=10147 vsize=8068440 memory=140461067347472 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10174/stat : 10174 (java) S 10147 10147 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405773468 8262082560 29763 33554432000 4194304 4196468 140728062456544 140212590959056 140214313637787 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10175] ppid=10147 vsize=8068440 memory=3760561988245206047 CPUtime=0.08 cores=0,2,4,6
/proc/10165/task/10175/stat : 10175 (java) S 10147 10147 5595 0 -1 1077944384 721 0 0 0 8 0 0 0 20 0 19 0 405773468 8262082560 29763 33554432000 4194304 4196468 140728062456544 140213423380720 140214313630338 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10176] ppid=10147 vsize=8068440 memory=6942124365787391588 CPUtime=0.09 cores=0,2,4,6
/proc/10165/task/10176/stat : 10176 (java) S 10147 10147 5595 0 -1 1077944384 316 0 0 0 9 0 0 0 20 0 19 0 405773468 8262082560 29763 33554432000 4194304 4196468 140728062456544 140213422328176 140214313630338 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10177] ppid=10147 vsize=8068440 memory=7521950809184234598 CPUtime=0.18 cores=0,2,4,6
/proc/10165/task/10177/stat : 10177 (java) S 10147 10147 5595 0 -1 1077944384 470 0 0 0 18 0 0 0 20 0 19 0 405773468 8262082560 29763 33554432000 4194304 4196468 140728062456544 140213421275120 140214313630338 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10178] ppid=10147 vsize=8068440 memory=7158023481126119781 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10178/stat : 10178 (java) S 10147 10147 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405773468 8262082560 29763 33554432000 4194304 4196468 140728062456544 140212093053280 140214313629397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10179] ppid=10147 vsize=8068440 memory=4638778415512636752 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10179/stat : 10179 (java) S 10147 10147 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405773468 8262082560 29763 33554432000 4194304 4196468 140728062456544 140213420223536 140214313630338 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10181] ppid=10147 vsize=8068440 memory=8041914397592097627 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10181/stat : 10181 (java) S 10147 10147 5595 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405773533 8262082560 29763 33554432000 4194304 4196468 140728062456544 140213412190016 140214313643801 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10183] ppid=10147 vsize=8068440 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10183/stat : 10183 (java) S 10147 10147 5595 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 405773533 8262082560 29763 33554432000 4194304 4196468 140728062456544 140211556167568 140214313641117 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10184] ppid=10147 vsize=8068440 memory=734984147716550704 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10184/stat : 10184 (java) S 10147 10147 5595 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405773533 8262082560 29763 33554432000 4194304 4196468 140728062456544 140211690389008 140214313641117 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10185] ppid=10147 vsize=8068440 memory=3472323898181169199 CPUtime=0 cores=0,2,4,6
/proc/10165/task/10185/stat : 10185 (java) S 10147 10147 5595 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405773536 8262082560 29763 33554432000 4194304 4196468 140728062456544 140211287743792 140214313629397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
Current children cumulated CPU time: 7.23 s
Current children cumulated vsize: 8217020 KiB
Current children cumulated memory: 132564 KiB
[startup+4.11035 s]
/proc/loadavg: 2.05 2.21 2.17 3/239 10185
/proc/meminfo: memFree=14771620/32770624 swapFree=66959212/67108860
[pid=10147] ppid=10144 vsize=113128 memory=1476 CPUtime=5 cores=0,2,4,6
/proc/10147/stat : 10147 (scop.sh) S 10144 10147 5595 0 -1 4202496 582 26341 0 0 0 0 486 14 20 0 1 0 405773244 115843072 369 33554432000 4194304 5098028 140720396200304 140720396197048 140249173402236 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18345984 140720396202851 140720396203120 140720396203120 140720396206029 0
/proc/10147/statm: 28282 369 311 221 0 87 0
[pid=10165] ppid=10147 vsize=7937364 memory=121104 CPUtime=2.44 cores=0,2,4,6
/proc/10165/stat : 10165 (java) S 10147 10147 5595 0 -1 1077944320 20164 3447 0 0 123 8 113 0 20 0 17 0 405773462 8127860736 30276 33554432000 4194304 4196468 140728062456544 140728062439088 140214313619191 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
/proc/10165/statm: 1984341 30276 3213 1 0 1945685 0
[pid=10165/tid=10166] ppid=10147 vsize=7937364 memory=7451609539861307712 CPUtime=1.9 cores=0,2,4,6
/proc/10165/task/10166/stat : 10166 (java) R 10147 10147 5595 0 -1 4202560 16532 3447 0 0 71 6 113 0 20 0 17 0 405773462 8127860736 30276 33554432000 4194304 4196468 140728062456544 140214285456032 140214313631126 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10167] ppid=10147 vsize=7937364 memory=119052 CPUtime=1.13 cores=0,2,4,6
/proc/10165/task/10167/stat : 10167 (java) S 10147 10147 5595 0 -1 1077944384 1 3447 0 0 0 0 113 0 20 0 17 0 405773463 8127860736 30276 33554432000 4194304 4196468 140728062456544 140214317861392 140214313629397 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10168] ppid=10147 vsize=7937364 memory=11772 CPUtime=1.13 cores=0,2,4,6
/proc/10165/task/10168/stat : 10168 (java) S 10147 10147 5595 0 -1 1077944384 1 3447 0 0 0 0 113 0 20 0 17 0 405773463 8127860736 30276 33554432000 4194304 4196468 140728062456544 140214118029968 140214313629397 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10169] ppid=10147 vsize=7937364 memory=-7029379521808015264 CPUtime=1.13 cores=0,2,4,6
/proc/10165/task/10169/stat : 10169 (java) S 10147 10147 5595 0 -1 1077944384 1 3447 0 0 0 0 113 0 20 0 17 0 405773463 8127860736 30276 33554432000 4194304 4196468 140728062456544 140214116976912 140214313629397 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10170] ppid=10147 vsize=7937364 memory=1476 CPUtime=1.13 cores=0,2,4,6
/proc/10165/task/10170/stat : 10170 (java) S 10147 10147 5595 0 -1 1077944384 2 3447 0 0 0 0 113 0 20 0 17 0 405773463 8127860736 30276 33554432000 4194304 4196468 140728062456544 140214115924368 140214313629397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10171] ppid=10147 vsize=7937364 memory=119052 CPUtime=1.13 cores=0,2,4,6
/proc/10165/task/10171/stat : 10171 (java) S 10147 10147 5595 0 -1 1077944384 5 3447 0 0 0 0 113 0 20 0 17 0 405773465 8127860736 30276 33554432000 4194304 4196468 140728062456544 140213424433904 140214313630338 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10172] ppid=10147 vsize=7937364 memory=10188 CPUtime=1.13 cores=0,2,4,6
/proc/10165/task/10172/stat : 10172 (java) S 10147 10147 5595 0 -1 1077944384 13 3447 0 0 0 0 113 0 20 0 17 0 405773465 8127860736 30276 33554432000 4194304 4196468 140728062456544 140213233903264 140214313629397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10173] ppid=10147 vsize=7937364 memory=3539882316492519633 CPUtime=1.13 cores=0,2,4,6
/proc/10165/task/10173/stat : 10173 (java) S 10147 10147 5595 0 -1 1077944384 1 3447 0 0 0 0 113 0 20 0 17 0 405773465 8127860736 30276 33554432000 4194304 4196468 140728062456544 140212965467376 140214313629397 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10174] ppid=10147 vsize=7937364 memory=0 CPUtime=1.13 cores=0,2,4,6
/proc/10165/task/10174/stat : 10174 (java) S 10147 10147 5595 0 -1 1077944384 3 3447 0 0 0 0 113 0 20 0 17 0 405773468 8127860736 30276 33554432000 4194304 4196468 140728062456544 140212590959056 140214313637787 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10175] ppid=10147 vsize=7937364 memory=15029 CPUtime=1.23 cores=0,2,4,6
/proc/10165/task/10175/stat : 10175 (java) S 10147 10147 5595 0 -1 1077944384 733 3447 0 0 10 0 113 0 20 0 17 0 405773468 8127860736 30276 33554432000 4194304 4196468 140728062456544 140213423380720 140214313630338 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10176] ppid=10147 vsize=7937364 memory=56 CPUtime=1.25 cores=0,2,4,6
/proc/10165/task/10176/stat : 10176 (java) R 10147 10147 5595 0 -1 1077944384 332 3447 0 0 12 0 113 0 20 0 17 0 405773468 8127860736 30276 33554432000 4194304 4196468 140728062456544 140213422328176 140214313630338 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10177] ppid=10147 vsize=7937364 memory=4715996324208872822 CPUtime=1.36 cores=0,2,4,6
/proc/10165/task/10177/stat : 10177 (java) R 10147 10147 5595 0 -1 1077944384 623 3447 0 0 23 0 113 0 20 0 17 0 405773468 8127860736 30276 33554432000 4194304 4196468 140728062456544 140213421275120 140214313630338 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10178] ppid=10147 vsize=7937364 memory=0 CPUtime=1.13 cores=0,2,4,6
/proc/10165/task/10178/stat : 10178 (java) S 10147 10147 5595 0 -1 1077944384 3 3447 0 0 0 0 113 0 20 0 17 0 405773468 8127860736 30276 33554432000 4194304 4196468 140728062456544 140212093053280 140214313629397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10179] ppid=10147 vsize=7937364 memory=-8458152057954233740 CPUtime=1.13 cores=0,2,4,6
/proc/10165/task/10179/stat : 10179 (java) S 10147 10147 5595 0 -1 1077944384 1 3447 0 0 0 0 113 0 20 0 17 0 405773468 8127860736 30276 33554432000 4194304 4196468 140728062456544 140213420223536 140214313630338 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10181] ppid=10147 vsize=7937364 memory=-7240599211820661557 CPUtime=1.13 cores=0,2,4,6
/proc/10165/task/10181/stat : 10181 (java) S 10147 10147 5595 0 -1 1077944384 24 3447 0 0 0 0 113 0 20 0 17 0 405773533 8127860736 30276 33554432000 4194304 4196468 140728062456544 140213412189200 140214313630338 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
[pid=10165/tid=10185] ppid=10147 vsize=7937364 memory=0 CPUtime=1.13 cores=0,2,4,6
/proc/10165/task/10185/stat : 10185 (java) S 10147 10147 5595 0 -1 1077944384 9 3447 0 0 0 0 113 0 20 0 17 0 405773536 8127860736 30276 33554432000 4194304 4196468 140728062456544 140211287745584 140214313630338 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17367040 140728062465019 140728062465178 140728062465178 140728062468047 0
Current children cumulated CPU time: 7.44 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 122580 KiB
Child status: 0
Real time (s): 4.16741
CPU time (s): 7.57997
CPU user time (s): 7.33218
CPU system time (s): 0.247791
CPU usage (%): 181.887
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 366388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.33218
system time used= 0.247791
maximum resident set size= 370156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50761
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5432
involuntary context switches= 42
# summary of solver processes directly reported to runsolver:
# pid: 10147
# total CPU time (s): 7.57997
# total CPU user time (s): 7.33218
# total CPU system time (s): 0.247791
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04213 second user time and 0.099118 second system time
The end