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-1259-serial-file.bin HOME/instance-4387597-1568286176.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 13:02:16 CEST 2019
0.65/0.55 c PID: 1262
0.65/0.55 c IP: 172.20.3.146
0.65/0.55 c HOST: node146.alineos.net
0.65/0.55 c (0,0) Parsing Begin
1.04/0.88 c (0,0) Parsing End
1.04/1.01 c (0,0) CSP: 60 int (0 aux), 0 bool (0 aux), 41 ctr, max domain size 40
1.04/1.01 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.04/1.01 c (0,0) Constraint Name Generate Begin
1.04/1.01 c (0,0) Ctr:HOME/instance-4387597-1568286176.xml,AllDifferent:Dist:Eq:Var
1.04/1.01 c (0,0) Constraint Name Generate End
1.04/1.01 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.04/1.01 c (0,0) CSP to CSPinCNF Begin
1.04/1.01 c (0,0) translated 5 (10%) constraints
1.04/1.02 c (0,0) translated 9 (20%) constraints
1.04/1.03 c (0,0) translated 13 (30%) constraints
1.04/1.04 c (0,0) translated 17 (40%) constraints
1.04/1.05 c (0,0) translated 21 (50%) constraints
1.04/1.06 c (0,0) translated 25 (60%) constraints
1.04/1.07 c (0,0) translated 29 (70%) constraints
1.04/1.08 c (0,0) translated 33 (80%) constraints
1.04/1.08 c (0,0) translated 37 (90%) constraints
1.88/1.15 c (0,0) translated 41 (100%) constraints
2.39/1.31 c (0,0) ===========================================
2.39/1.33 c (0,0) Hybrid: #OE=60, #LE=0
2.39/1.33 c (0,0) Hybrid
2.39/1.33 c (0,0) ===========================================
2.39/1.35 c (0,0) translated 112 (10%) constraints
2.39/1.37 c (0,0) translated 223 (20%) constraints
2.39/1.38 c (0,0) translated 334 (30%) constraints
2.39/1.39 c (0,0) translated 445 (40%) constraints
2.39/1.40 c (0,0) translated 556 (50%) constraints
2.39/1.41 c (0,0) translated 668 (60%) constraints
2.69/1.42 c (0,0) translated 779 (70%) constraints
2.69/1.43 c (0,0) translated 890 (80%) constraints
2.69/1.43 c (0,0) translated 1001 (90%) constraints
3.28/1.64 c (1,1) translated 1112 (100%) constraints
3.28/1.65 c (1,1) CSP to CSPinCNF End
3.28/1.65 c (1,1) CSP: 60 int (0 aux), 1521 bool (1521 aux), 4154 ctr, max domain size 40
3.28/1.65 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.28/1.65 c (1,1) CSPinCNF Propagation Begin
3.60/1.71 c (1,1) 0 values, 0 unsatisfiable literals, and 79 valid clauses are removed
3.60/1.71 c (1,1) CSPinCNF Propagation End
3.60/1.71 c (1,1) CSP: 60 int (0 aux), 1521 bool (1521 aux), 4075 ctr, max domain size 40
3.60/1.71 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.60/1.72 c (1,1) Hybrid: #OE=1581, #LE=0
3.60/1.72 c (1,1) Simplify CSPinCNF Begin
3.94/1.82 c (1,1) Simplify CSPinCNF End
3.94/1.82 c (1,1) CSP: 60 int (0 aux), 3501 bool (3501 aux), 6055 ctr, max domain size 40
3.94/1.82 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.94/1.82 c (1,1) Calculate Precise Domain Begin
3.94/1.82 c (1,1) 0 values are removed by re-calculation
3.94/1.82 c (1,1) Calculate Precise Domain End
3.94/1.82 c (1,1) CSP: 60 int (0 aux), 3501 bool (3501 aux), 6055 ctr, max domain size 40
3.94/1.82 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.94/1.82 c (1,1) CSPinCNF to SatSolver Begin
6.38/2.64 c (2,2) 606 (10 %) CSP clauses are encoded (0 SAT variables, 135017 SAT clauses)
6.66/2.73 c (2,2) 1211 (20 %) CSP clauses are encoded (0 SAT variables, 151045 SAT clauses)
6.81/2.80 c (2,2) 1817 (30 %) CSP clauses are encoded (0 SAT variables, 167003 SAT clauses)
6.81/2.88 c (2,2) 2422 (40 %) CSP clauses are encoded (0 SAT variables, 182922 SAT clauses)
6.97/2.95 c (2,2) 3028 (50 %) CSP clauses are encoded (0 SAT variables, 198880 SAT clauses)
6.97/2.96 c (2,2) 3633 (60 %) CSP clauses are encoded (0 SAT variables, 200093 SAT clauses)
6.97/2.97 c (2,2) 4239 (70 %) CSP clauses are encoded (0 SAT variables, 200699 SAT clauses)
6.97/2.97 c (2,2) 4844 (80 %) CSP clauses are encoded (0 SAT variables, 201304 SAT clauses)
6.97/2.98 c (2,2) 5450 (90 %) CSP clauses are encoded (0 SAT variables, 201910 SAT clauses)
6.97/2.99 c (2,2) 6055 (100 %) CSP clauses are encoded (0 SAT variables, 202515 SAT clauses)
6.97/2.99 c (2,2) CSPinCNF to SatSolver End
6.97/2.99 c (2,2) Heap : 844 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
6.97/2.99 c (2,2) 5802 bool, 202516 clause
6.97/2.99 c (2,2) Export Begin
7.15/3.07 c (2,2) Export to HOME/scop-1259-serial-file.bin
7.15/3.07 c (2,2) Export End
7.15/3.07 c (2,2) Export File Size: 0.01 MB
7.15/3.07 c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
7.15/3.07 c END-Prog: Thu Sep 12 13:02:19 CEST 2019
7.15/3.09 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-1259-serial-file.bin
7.84/3.54 c (0,0) Read Serial File Begin
7.84/3.54 c (0,0) HOME/scop-1259-serial-file.bin
8.12/3.74 c (0,0) Read Serial File End
8.12/3.75
8.12/3.75 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
8.12/3.75 (Solving Process)
8.12/3.75
8.12/3.77 c BEGIN-Prog: Thu Sep 12 13:02:20 CEST 2019
8.12/3.77 c PID: 1277
8.12/3.77 c IP: 172.20.3.146
8.12/3.77 c HOST: node146.alineos.net
8.12/3.78 c (0,0) SatSolver.solve Begin
8.12/3.78 c (0,0) HOME/cryptominisat5 HOME/instance-4387597-1568286176.xml-scop-1262.cnf
8.31/3.80 c (0,0) c Outputting solution to console
8.31/3.80 c (0,0) c CryptoMiniSat version 5.6.8
8.31/3.80 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
8.31/3.80 c (0,0) c CMS SHA revision GIT-notfound
8.31/3.80 c (0,0) c CMS is MIT licensed
8.31/3.80 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
8.31/3.80 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
8.31/3.80 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387597-1568286176.xml-scop-1262.cnf
8.31/3.80 c (0,0) c Reading file 'HOME/instance-4387597-1568286176.xml-scop-1262.cnf'
8.31/3.80 c (0,0) c -- header says num vars: 5802
8.31/3.80 c (0,0) c -- header says num clauses: 202516
8.31/3.87 c (0,0) c -- clauses added: 202516
8.31/3.87 c (0,0) c -- xor clauses added: 0
8.31/3.87 c (0,0) c -- vars added 5802
8.31/3.87 c (0,0) c Parsing time: 0.06 s
8.44/3.90 c (0,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
8.44/3.91 c (0,0) c [distill] long cls tried: 8/8 cl-short:8 lit-r:11 T: 0.00 T-out: N T-r: 99.97%
9.12/4.50 c (1,0) c [distill] long cls tried: 376/377 cl-short:376 lit-r:38 T: 0.09 T-out: N T-r: 98.53%
9.72/5.17 c (1,0) c [distill] long cls tried: 253/619 cl-short:253 lit-r:44 T: 0.06 T-out: N T-r: 99.07%
9.93/5.40 c (1,0) c glue 1 68 8193 5802 192K 10155 3.29 3.23 689 1683 5797 25 44.23 44.10
10.84/6.22 c (2,0) c [distill] long cls tried: 918/1527 cl-short:918 lit-r:170 T: 0.24 T-out: N T-r: 96.50%
11.74/7.11 c (3,0) c ------- FINAL TOTAL SEARCH STATS ---------
11.74/7.11 c (3,0) c UIP search time : 3.23 (98.00 % time)
11.74/7.11 c (3,0) c restarts : 137 (111.96 confls per restart)
11.74/7.11 c (3,0) c blocked restarts : 0 (0.00 per normal restart)
11.74/7.11 c (3,0) c time : 3.23
11.74/7.11 c (3,0) c decisions : 54660 (0.00 % random)
11.74/7.11 c (3,0) c propagations : 8079706
11.74/7.11 c (3,0) c decisions/conflicts : 3.56
11.74/7.11 c (3,0) c conflicts : 15339 (4749.05 / sec)
11.74/7.11 c (3,0) c conf lits non-minim : 971537 (63.34 lit/confl)
11.74/7.11 c (3,0) c conf lits final : 56.77
11.74/7.11 c (3,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
11.74/7.11 c (3,0) c red which0 : 1113 (7.26 % of confl)
11.74/7.11 c (3,0) c props/decision : 0.00
11.74/7.11 c (3,0) c props/conflict : 0.00
11.74/7.11 c (3,0) c 0-depth assigns : 0 (0.00 % vars)
11.74/7.11 c (3,0) c 0-depth assigns by CNF : 0 (0.00 % vars)
11.74/7.11 c (3,0) c reduceDB time : 0.00 (0.03 % time)
11.74/7.11 c (3,0) c OccSimplifier time : 0.00 (0.00 % time)
11.74/7.11 c (3,0) c [occur] 0.00 is overhead
11.74/7.11 c (3,0) c [occur] link-in T: 0.00 cleanup T: 0.00
11.74/7.11 c (3,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
11.74/7.11 c (3,0) c SCC time : 0.00 (0.00 % time)
11.74/7.11 c (3,0) c [scc] new: 0 BP 0M T: 0.00
11.74/7.11 c (3,0) c vrep replace time : 0.00 (0.00 % time)
11.74/7.11 c (3,0) c vrep tree roots : 0
11.74/7.11 c (3,0) c vrep trees' crown : 0 (0.00 leafs/tree)
11.74/7.11 c (3,0) c distill time : 0.40 (12.02 % time)
11.74/7.11 c (3,0) c strength cache-irred time: 0.00 (0.00 % time)
11.74/7.11 c (3,0) c strength cache-red time : 0.00 (0.00 % time)
11.74/7.11 c (3,0) c Conflicts in UIP : 15339 (4653.95 confl/time_this_thread)
11.74/7.11 c (3,0) c Mem used : 32.95 MB
11.74/7.11 c (3,0) c Total time (this thread) : 3.30
11.74/7.11 c (3,0) s SATISFIABLE
11.74/7.18 c (3,0) SatSolver.solve End
11.74/7.18 c (3,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
11.74/7.18 c (3,0) Show results Begin
11.99/7.27 c (3,0) ce[0][0][1] = 30
11.99/7.27 c (3,0) ce[0][0][2] = 2
11.99/7.27 c (3,0) ce[0][1][2] = 28
11.99/7.27 c (3,0) ce[1][0][1] = 17
11.99/7.27 c (3,0) ce[1][0][2] = 21
11.99/7.27 c (3,0) ce[1][1][2] = 38
11.99/7.27 c (3,0) ce[2][0][1] = 4
11.99/7.27 c (3,0) ce[2][0][2] = 36
11.99/7.27 c (3,0) ce[2][1][2] = 32
11.99/7.27 c (3,0) ce[3][0][1] = 7
11.99/7.27 c (3,0) ce[3][0][2] = 26
11.99/7.27 c (3,0) ce[3][1][2] = 19
11.99/7.27 c (3,0) ce[4][0][1] = 5
11.99/7.27 c (3,0) ce[4][0][2] = 20
11.99/7.27 c (3,0) ce[4][1][2] = 15
11.99/7.27 c (3,0) ce[5][0][1] = 11
11.99/7.27 c (3,0) ce[5][0][2] = 8
11.99/7.27 c (3,0) ce[5][1][2] = 3
11.99/7.27 c (3,0) ce[6][0][1] = 25
11.99/7.27 c (3,0) ce[6][0][2] = 9
11.99/7.27 c (3,0) ce[6][1][2] = 34
11.99/7.27 c (3,0) cie[0][0] = 10
11.99/7.27 c (3,0) cie[0][1] = 37
11.99/7.27 c (3,0) cie[0][2] = 29
11.99/7.27 c (3,0) cie[1][0] = 18
11.99/7.27 c (3,0) cie[1][1] = 31
11.99/7.27 c (3,0) cie[1][2] = 39
11.99/7.27 c (3,0) cie[2][0] = 27
11.99/7.27 c (3,0) cie[2][1] = 16
11.99/7.27 c (3,0) cie[2][2] = 35
11.99/7.27 c (3,0) cie[3][0] = 13
11.99/7.27 c (3,0) cie[3][1] = 1
11.99/7.27 c (3,0) cie[3][2] = 33
11.99/7.27 c (3,0) cie[4][0] = 12
11.99/7.27 c (3,0) cie[4][1] = 6
11.99/7.27 c (3,0) cie[4][2] = 24
11.99/7.27 c (3,0) cie[5][0] = 22
11.99/7.27 c (3,0) cie[5][1] = 14
11.99/7.27 c (3,0) cie[5][2] = 23
11.99/7.27 c (3,0) cn[0][0] = 8
11.99/7.27 c (3,0) cn[0][1] = 38
11.99/7.27 c (3,0) cn[0][2] = 10
11.99/7.27 c (3,0) cn[1][0] = 18
11.99/7.27 c (3,0) cn[1][1] = 1
11.99/7.27 c (3,0) cn[1][2] = 39
11.99/7.27 c (3,0) cn[2][0] = 36
11.99/7.27 c (3,0) cn[2][1] = 32
11.99/7.27 c (3,0) cn[2][2] = 0
11.99/7.27 c (3,0) cn[3][0] = 9
11.99/7.27 c (3,0) cn[3][1] = 16
11.99/7.27 c (3,0) cn[3][2] = 35
11.99/7.27 c (3,0) cn[4][0] = 22
11.99/7.27 c (3,0) cn[4][1] = 17
11.99/7.27 c (3,0) cn[4][2] = 2
11.99/7.27 c (3,0) cn[5][0] = 34
11.99/7.27 c (3,0) cn[5][1] = 23
11.99/7.27 c (3,0) cn[5][2] = 26
11.99/7.27 c (3,0) cn[6][0] = 12
11.99/7.27 c (3,0) cn[6][1] = 37
11.99/7.27 c (3,0) cn[6][2] = 3
11.99/7.27 s SATISFIABLE
11.99/7.27 v <instantiation>
11.99/7.27 v <list>cn[0][0] cn[0][1] cn[0][2] cn[1][0] cn[1][1] cn[1][2] cn[2][0] cn[2][1] cn[2][2] cn[3][0] cn[3][1] cn[3][2] cn[4][0] cn[4][1] cn[4][2] cn[5][0] cn[5][1] cn[5][2] cn[6][0] cn[6][1] cn[6][2] ce[0][0][1] ce[0][0][2] ce[0][1][2] ce[1][0][1] ce[1][0][2] ce[1][1][2] ce[2][0][1] ce[2][0][2] ce[2][1][2] ce[3][0][1] ce[3][0][2] ce[3][1][2] ce[4][0][1] ce[4][0][2] ce[4][1][2] ce[5][0][1] ce[5][0][2] ce[5][1][2] ce[6][0][1] ce[6][0][2] ce[6][1][2] cie[0][0] cie[0][1] cie[0][2] cie[1][0] cie[1][1] cie[1][2] cie[2][0] cie[2][1] cie[2][2] cie[3][0] cie[3][1] cie[3][2] cie[4][0] cie[4][1] cie[4][2] cie[5][0] cie[5][1] cie[5][2]</list>
11.99/7.27 v <values>8 38 10 18 1 39 36 32 0 9 16 35 22 17 2 34 23 26 12 37 3 30 2 28 17 21 38 4 36 32 7 26 19 5 20 15 11 8 3 25 9 34 10 37 29 18 31 39 27 16 35 13 1 33 12 6 24 22 14 23</values>
11.99/7.27 v </instantiation>
11.99/7.27 c (3,0) Show results End
11.99/7.27 c (3,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
11.99/7.27 c (3,0) 3,3,STOP-AFTER(ALL)
11.99/7.27 c END-Prog: Thu Sep 12 13:02:23 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 (14493 MiB free)
memory of node 1: 16384 MiB (15682 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387597-1568286176/watcher-4387597-1568286176 -o /tmp/evaluation-result-4387597-1568286176/solver-4387597-1568286176 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568286001-1043 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387597-1568286176.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1259, runsolver pid=1256
[startup+0.100288 s]*
/proc/loadavg: 2.02 2.00 2.03 4/236 1276
/proc/meminfo: memFree=30841416/32770624 swapFree=66999536/67108860
[pid=1259] ppid=1256 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/1259/stat : 1259 (scop.sh) S 1256 1259 31842 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404531652 115843072 349 33554432000 4194304 5098028 140727048324848 140727048322104 139929360413308 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33333248 140727048328035 140727048328304 140727048328304 140727048331213 0
/proc/1259/statm: 28282 349 296 221 0 87 0
[pid=1262] ppid=1259 vsize=15012696 memory=70540 CPUtime=0.1 cores=1,3,5,7
/proc/1262/stat : 1262 (java) S 1259 1259 31842 0 -1 1077944320 5923 0 0 0 9 1 0 0 20 0 15 0 404531652 15373000704 17635 33554432000 4194304 4196468 140720810653168 140720810635712 140461242924791 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
/proc/1262/statm: 3753174 17635 2814 1 0 3715579 0
[pid=1262/tid=1263] ppid=1259 vsize=15012696 memory=-7812800577974661515 CPUtime=0.09 cores=1,3,5,7
/proc/1262/task/1263/stat : 1263 (java) R 1259 1259 31842 0 -1 4202560 4012 0 0 0 8 1 0 0 20 0 15 0 404531652 15373000704 17893 33554432000 4194304 4196468 140720810653168 140461214734024 140461242936726 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1264] ppid=1259 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1264/stat : 1264 (java) S 1259 1259 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404531654 15373000704 17893 33554432000 4194304 4196468 140720810653168 140461247166864 140461242934997 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1265] ppid=1259 vsize=15012696 memory=140672564536960 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (java) S 1259 1259 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404531654 15373000704 17893 33554432000 4194304 4196468 140720810653168 140460703578384 140461242934997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1266] ppid=1259 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1266/stat : 1266 (java) S 1259 1259 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404531654 15373000704 17893 33554432000 4194304 4196468 140720810653168 140460702526096 140461242934997 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1267] ppid=1259 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (java) S 1259 1259 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404531654 15373000704 17893 33554432000 4194304 4196468 140720810653168 140460701473296 140461242934997 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1268] ppid=1259 vsize=15012696 memory=140672564536960 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1268/stat : 1268 (java) S 1259 1259 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404531655 15373000704 17893 33554432000 4194304 4196468 140720810653168 140460213365360 140461242935938 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1269] ppid=1259 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (java) S 1259 1259 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404531656 15373000704 17893 33554432000 4194304 4196468 140720810653168 140459858978080 140461242934997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1270] ppid=1259 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1270/stat : 1270 (java) S 1259 1259 31842 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404531656 15373000704 17893 33554432000 4194304 4196468 140720810653168 140459724756592 140461242934997 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1271] ppid=1259 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1271/stat : 1271 (java) S 1259 1259 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404531658 15373000704 17893 33554432000 4194304 4196468 140720810653168 140459350252112 140461242943387 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1272] ppid=1259 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1272/stat : 1272 (java) S 1259 1259 31842 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 404531658 15373000704 17893 33554432000 4194304 4196468 140720810653168 140460212312176 140461242935938 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1273] ppid=1259 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1273/stat : 1273 (java) S 1259 1259 31842 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 15 0 404531658 15373000704 17893 33554432000 4194304 4196468 140720810653168 140460211259376 140461242935938 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1274] ppid=1259 vsize=15012696 memory=140672564536960 CPUtime=0.01 cores=1,3,5,7
/proc/1262/task/1274/stat : 1274 (java) R 1259 1259 31842 0 -1 4202560 357 0 0 0 1 0 0 0 20 0 15 0 404531658 15373000704 17893 33554432000 4194304 4196468 140720810653168 140460210207088 140461221289441 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1275] ppid=1259 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1275/stat : 1275 (java) S 1259 1259 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404531658 15373000704 17893 33554432000 4194304 4196468 140720810653168 140458852346336 140461242934997 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1276] ppid=1259 vsize=15012696 memory=140672564536960 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1276/stat : 1276 (java) S 1259 1259 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404531659 15373000704 17893 33554432000 4194304 4196468 140720810653168 140460209154992 140461242935938 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 71936 KiB
[startup+0.210835 s]*
/proc/loadavg: 2.02 2.00 2.03 3/236 1276
/proc/meminfo: memFree=30822976/32770624 swapFree=66999536/67108860
[pid=1259] ppid=1256 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/1259/stat : 1259 (scop.sh) S 1256 1259 31842 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404531652 115843072 349 33554432000 4194304 5098028 140727048324848 140727048322104 139929360413308 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33333248 140727048328035 140727048328304 140727048328304 140727048331213 0
/proc/1259/statm: 28282 349 296 221 0 87 0
[pid=1262] ppid=1259 vsize=15012696 memory=87472 CPUtime=0.24 cores=1,3,5,7
/proc/1262/stat : 1262 (java) S 1259 1259 31842 0 -1 1077944320 11390 0 0 0 21 3 0 0 20 0 15 0 404531652 15373000704 21868 33554432000 4194304 4196468 140720810653168 140720810635712 140461242924791 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
/proc/1262/statm: 3753174 21868 2962 1 0 3715579 0
[pid=1262/tid=1263] ppid=1259 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/1262/task/1263/stat : 1263 (java) R 1259 1259 31842 0 -1 4202560 9137 0 0 0 17 2 0 0 20 0 15 0 404531652 15373000704 21868 33554432000 4194304 4196468 140720810653168 140461214745744 140461242946717 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1264] ppid=1259 vsize=15012696 memory=539 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1264/stat : 1264 (java) S 1259 1259 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404531654 15373000704 21868 33554432000 4194304 4196468 140720810653168 140461247166864 140461242934997 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1265] ppid=1259 vsize=15012696 memory=140672564562956 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (java) S 1259 1259 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404531654 15373000704 21868 33554432000 4194304 4196468 140720810653168 140460703578384 140461242934997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1266] ppid=1259 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1266/stat : 1266 (java) S 1259 1259 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404531654 15373000704 21868 33554432000 4194304 4196468 140720810653168 140460702526096 140461242934997 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1267] ppid=1259 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (java) S 1259 1259 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404531654 15373000704 21868 33554432000 4194304 4196468 140720810653168 140460701473296 140461242934997 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1268] ppid=1259 vsize=15012696 memory=140672564536960 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1268/stat : 1268 (java) S 1259 1259 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404531655 15373000704 21868 33554432000 4194304 4196468 140720810653168 140460213365360 140461242935938 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1269] ppid=1259 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (java) S 1259 1259 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404531656 15373000704 21868 33554432000 4194304 4196468 140720810653168 140459858978080 140461242934997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1270] ppid=1259 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1270/stat : 1270 (java) S 1259 1259 31842 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404531656 15373000704 21868 33554432000 4194304 4196468 140720810653168 140459724756592 140461242934997 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1271] ppid=1259 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1271/stat : 1271 (java) S 1259 1259 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404531658 15373000704 21868 33554432000 4194304 4196468 140720810653168 140459350252112 140461242943387 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1272] ppid=1259 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1272/stat : 1272 (java) R 1259 1259 31842 0 -1 4202560 339 0 0 0 0 0 0 0 20 0 15 0 404531658 15373000704 21868 33554432000 4194304 4196468 140720810653168 140460212312176 140461242935938 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1273] ppid=1259 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1273/stat : 1273 (java) S 1259 1259 31842 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 15 0 404531658 15373000704 21868 33554432000 4194304 4196468 140720810653168 140460211259376 140461242935938 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1274] ppid=1259 vsize=15012696 memory=140672564536960 CPUtime=0.03 cores=1,3,5,7
/proc/1262/task/1274/stat : 1274 (java) R 1259 1259 31842 0 -1 4202560 415 0 0 0 3 0 0 0 20 0 15 0 404531658 15373000704 21868 33554432000 4194304 4196468 140720810653168 140460210207088 140461229249175 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1275] ppid=1259 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1275/stat : 1275 (java) S 1259 1259 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404531658 15373000704 21868 33554432000 4194304 4196468 140720810653168 140458852346336 140461242934997 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1276] ppid=1259 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1276/stat : 1276 (java) S 1259 1259 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404531659 15373000704 21868 33554432000 4194304 4196468 140720810653168 140460209154992 140461242935938 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88868 KiB
[startup+0.310711 s]*
/proc/loadavg: 2.02 2.00 2.03 4/236 1276
/proc/meminfo: memFree=30820432/32770624 swapFree=66999536/67108860
[pid=1259] ppid=1256 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/1259/stat : 1259 (scop.sh) S 1256 1259 31842 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404531652 115843072 349 33554432000 4194304 5098028 140727048324848 140727048322104 139929360413308 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33333248 140727048328035 140727048328304 140727048328304 140727048331213 0
/proc/1259/statm: 28282 349 296 221 0 87 0
[pid=1262] ppid=1259 vsize=15012696 memory=90820 CPUtime=0.43 cores=1,3,5,7
/proc/1262/stat : 1262 (java) S 1259 1259 31842 0 -1 1077944320 12244 0 0 0 39 4 0 0 20 0 15 0 404531652 15373000704 22705 33554432000 4194304 4196468 140720810653168 140720810635712 140461242924791 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
/proc/1262/statm: 3753174 22705 3054 1 0 3715579 0
[pid=1262/tid=1263] ppid=1259 vsize=15012696 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/1262/task/1263/stat : 1263 (java) R 1259 1259 31842 0 -1 4202560 9810 0 0 0 26 3 0 0 20 0 15 0 404531652 15373000704 22705 33554432000 4194304 4196468 140720810653168 140461214728016 140461227067613 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1264] ppid=1259 vsize=15012696 memory=532 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1264/stat : 1264 (java) S 1259 1259 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404531654 15373000704 22705 33554432000 4194304 4196468 140720810653168 140461247166864 140461242934997 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1265] ppid=1259 vsize=15012696 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (java) S 1259 1259 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404531654 15373000704 22705 33554432000 4194304 4196468 140720810653168 140460703578384 140461242934997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1266] ppid=1259 vsize=15012696 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1266/stat : 1266 (java) S 1259 1259 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404531654 15373000704 22705 33554432000 4194304 4196468 140720810653168 140460702526096 140461242934997 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1267] ppid=1259 vsize=15012696 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (java) S 1259 1259 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404531654 15373000704 22705 33554432000 4194304 4196468 140720810653168 140460701473296 140461242934997 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1268] ppid=1259 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1268/stat : 1268 (java) S 1259 1259 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404531655 15373000704 22705 33554432000 4194304 4196468 140720810653168 140460213365360 140461242935938 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1269] ppid=1259 vsize=15012696 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (java) S 1259 1259 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404531656 15373000704 22705 33554432000 4194304 4196468 140720810653168 140459858978080 140461242934997 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1270] ppid=1259 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1270/stat : 1270 (java) S 1259 1259 31842 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404531656 15373000704 22705 33554432000 4194304 4196468 140720810653168 140459724756592 140461242934997 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1271] ppid=1259 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1271/stat : 1271 (java) S 1259 1259 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404531658 15373000704 22705 33554432000 4194304 4196468 140720810653168 140459350252112 140461242943387 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1272] ppid=1259 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1262/task/1272/stat : 1272 (java) S 1259 1259 31842 0 -1 1077944384 407 0 0 0 2 0 0 0 20 0 15 0 404531658 15373000704 22705 33554432000 4194304 4196468 140720810653168 140460212312176 140461242935938 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1273] ppid=1259 vsize=15012696 memory=170985786 CPUtime=0.02 cores=1,3,5,7
/proc/1262/task/1273/stat : 1273 (java) S 1259 1259 31842 0 -1 1077944384 241 0 0 0 2 0 0 0 20 0 15 0 404531658 15373000704 22705 33554432000 4194304 4196468 140720810653168 140460211259376 140461242935938 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1274] ppid=1259 vsize=15012696 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/1262/task/1274/stat : 1274 (java) S 1259 1259 31842 0 -1 1077944384 436 0 0 0 7 0 0 0 20 0 15 0 404531658 15373000704 22705 33554432000 4194304 4196468 140720810653168 140460210207088 140461242935938 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1275] ppid=1259 vsize=15012696 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1275/stat : 1275 (java) S 1259 1259 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404531658 15373000704 22705 33554432000 4194304 4196468 140720810653168 140458852346336 140461242934997 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1276] ppid=1259 vsize=15012696 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1276/stat : 1276 (java) S 1259 1259 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404531659 15373000704 22705 33554432000 4194304 4196468 140720810653168 140460209154992 140461242935938 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 92216 KiB
[startup+0.709286 s]
/proc/loadavg: 2.02 2.00 2.03 3/236 1276
/proc/meminfo: memFree=30798976/32770624 swapFree=66999536/67108860
[pid=1259] ppid=1256 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/1259/stat : 1259 (scop.sh) S 1256 1259 31842 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404531652 115843072 349 33554432000 4194304 5098028 140727048324848 140727048322104 139929360413308 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33333248 140727048328035 140727048328304 140727048328304 140727048331213 0
/proc/1259/statm: 28282 349 296 221 0 87 0
[pid=1262] ppid=1259 vsize=15021092 memory=128840 CPUtime=1.04 cores=1,3,5,7
/proc/1262/stat : 1262 (java) S 1259 1259 31842 0 -1 1077944320 19567 0 0 0 98 6 0 0 20 0 15 0 404531652 15381598208 32210 33554432000 4194304 4196468 140720810653168 140720810635712 140461242924791 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
/proc/1262/statm: 3755273 32210 3201 1 0 3716603 0
[pid=1262/tid=1263] ppid=1259 vsize=15021092 memory=57 CPUtime=0.68 cores=1,3,5,7
/proc/1262/task/1263/stat : 1263 (java) R 1259 1259 31842 0 -1 4202560 16620 0 0 0 63 5 0 0 20 0 15 0 404531652 15381598208 32210 33554432000 4194304 4196468 140720810653168 140461214760200 140461242936726 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1264] ppid=1259 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1264/stat : 1264 (java) S 1259 1259 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404531654 15381598208 32210 33554432000 4194304 4196468 140720810653168 140461247166864 140461242934997 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1265] ppid=1259 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (java) S 1259 1259 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404531654 15381598208 32210 33554432000 4194304 4196468 140720810653168 140460703578384 140461242934997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1266] ppid=1259 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1266/stat : 1266 (java) S 1259 1259 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404531654 15381598208 32210 33554432000 4194304 4196468 140720810653168 140460702526096 140461242934997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1267] ppid=1259 vsize=15021092 memory=1294 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (java) S 1259 1259 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404531654 15381598208 32210 33554432000 4194304 4196468 140720810653168 140460701473296 140461242934997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1268] ppid=1259 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1268/stat : 1268 (java) S 1259 1259 31842 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404531655 15381598208 32210 33554432000 4194304 4196468 140720810653168 140460213365360 140461242935938 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1269] ppid=1259 vsize=15021092 memory=13 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (java) S 1259 1259 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404531656 15381598208 32210 33554432000 4194304 4196468 140720810653168 140459858978080 140461242934997 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1270] ppid=1259 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1270/stat : 1270 (java) S 1259 1259 31842 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404531656 15381598208 32210 33554432000 4194304 4196468 140720810653168 140459724756592 140461242934997 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1271] ppid=1259 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1271/stat : 1271 (java) S 1259 1259 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404531658 15381598208 32210 33554432000 4194304 4196468 140720810653168 140459350252112 140461242943387 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1272] ppid=1259 vsize=15021092 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/1262/task/1272/stat : 1272 (java) S 1259 1259 31842 0 -1 1077944384 643 0 0 0 10 0 0 0 20 0 15 0 404531658 15381598208 32210 33554432000 4194304 4196468 140720810653168 140460212312176 140461242935938 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1273] ppid=1259 vsize=15021092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1262/task/1273/stat : 1273 (java) S 1259 1259 31842 0 -1 1077944384 414 0 0 0 7 0 0 0 20 0 15 0 404531658 15381598208 32210 33554432000 4194304 4196468 140720810653168 140460211259216 140461242945981 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1274] ppid=1259 vsize=15021092 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/1262/task/1274/stat : 1274 (java) S 1259 1259 31842 0 -1 1077944384 535 0 0 0 16 0 0 0 20 0 15 0 404531658 15381598208 32210 33554432000 4194304 4196468 140720810653168 140460210207088 140461242935938 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1275] ppid=1259 vsize=15021092 memory=964 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1275/stat : 1275 (java) S 1259 1259 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404531658 15381598208 32210 33554432000 4194304 4196468 140720810653168 140458852346336 140461242934997 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
[pid=1262/tid=1276] ppid=1259 vsize=15021092 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1276/stat : 1276 (java) S 1259 1259 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404531659 15381598208 32210 33554432000 4194304 4196468 140720810653168 140460209154992 140461242935938 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22249472 140720810656554 140720810656922 140720810656922 140720810659791 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 130236 KiB
[startup+1.50128 s]
/proc/loadavg: 2.02 2.00 2.03 5/236 1276
/proc/meminfo: memFree=30751608/32770624 swapFree=66999536/67108860
[pid=1259] ppid=1256 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/1259/stat : 1259 (scop.sh) S 1256 1259 31842 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404531652 115843072 349 33554432000 4194304 5098028 140727048324848 140727048322104 139929360413308 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33333248 140727048328035 140727048328304 140727048328304 140727048331213 0
/proc/1259/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Current children cumulated vsize: 8239372 KiB
Current children cumulated memory: 150684 KiB
[startup+7.28435 s]
# the end of solver process 1259 was just reported to runsolver
# cumulated CPU time of all completed processes: user=11.8709 s, system=0.314544 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.701 s]
/proc/loadavg: 2.18 2.03 2.05 3/241 1297
/proc/meminfo: memFree=30757364/32770624 swapFree=66999536/67108860
[pid=1259] ppid=1256 vsize=113128 memory=1476 CPUtime=7.31 cores=1,3,5,7
/proc/1259/stat : 1259 (scop.sh) S 1256 1259 31842 0 -1 4202496 583 26772 0 0 0 0 710 21 20 0 1 0 404531652 115843072 369 33554432000 4194304 5098028 140727048324848 140727048321592 139929360413308 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33333248 140727048328035 140727048328304 140727048328304 140727048331213 0
/proc/1259/statm: 28282 369 311 221 0 87 0
[pid=1277] ppid=1259 vsize=8068440 memory=119508 CPUtime=1.14 cores=1,3,5,7
/proc/1277/stat : 1277 (java) S 1259 1259 31842 0 -1 1077944320 19546 0 0 0 108 6 0 0 20 0 19 0 404531961 8262082560 29877 33554432000 4194304 4196468 140723061414336 140723061396880 139652618542839 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
/proc/1277/statm: 2017110 29877 3210 1 0 1978454 0
[pid=1292] ppid=1277 vsize=58220 memory=30664 CPUtime=2.89 cores=1,3,5,7
/proc/1292/stat : 1292 (cryptominisat5) R 1277 1259 31842 0 -1 4202496 14079 0 0 0 288 1 0 0 20 0 1 0 404532032 59617280 7666 33554432000 4194304 4451008 140730261735184 140730261730840 140255017115831 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 26701824 140730261738429 140730261738560 140730261738560 140730261741510 0
/proc/1292/statm: 14555 7666 638 63 0 8282 0
[pid=1277/tid=1278] ppid=1259 vsize=8068440 memory=6943526294502006880 CPUtime=0.74 cores=1,3,5,7
/proc/1277/task/1278/stat : 1278 (java) S 1259 1259 31842 0 -1 1077944384 16600 0 0 0 69 5 0 0 20 0 19 0 404531961 8262082560 29877 33554432000 4194304 4196468 140723061414336 139652590383008 139652618553045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1279] ppid=1259 vsize=8068440 memory=18141941861341 CPUtime=0 cores=1,3,5,7
/proc/1277/task/1279/stat : 1279 (java) S 1259 1259 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404531962 8262082560 29877 33554432000 4194304 4196468 140723061414336 139652622785040 139652618553045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1280] ppid=1259 vsize=8068440 memory=318629893535695163 CPUtime=0 cores=1,3,5,7
/proc/1277/task/1280/stat : 1280 (java) S 1259 1259 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404531962 8262082560 29877 33554432000 4194304 4196468 140723061414336 139652422953616 139652618553045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1281] ppid=1259 vsize=8068440 memory=14136627979093344 CPUtime=0 cores=1,3,5,7
/proc/1277/task/1281/stat : 1281 (java) S 1259 1259 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404531962 8262082560 29877 33554432000 4194304 4196468 140723061414336 139652421900560 139652618553045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1282] ppid=1259 vsize=8068440 memory=9126232286719478932 CPUtime=0 cores=1,3,5,7
/proc/1277/task/1282/stat : 1282 (java) S 1259 1259 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404531962 8262082560 29877 33554432000 4194304 4196468 140723061414336 139652420848016 139652618553045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1283] ppid=1259 vsize=8068440 memory=-3535470213243961690 CPUtime=0 cores=1,3,5,7
/proc/1277/task/1283/stat : 1283 (java) S 1259 1259 31842 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 404531964 8262082560 29877 33554432000 4194304 4196468 140723061414336 139651997211376 139652618553986 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1284] ppid=1259 vsize=8068440 memory=9126232286719478932 CPUtime=0 cores=1,3,5,7
/proc/1277/task/1284/stat : 1284 (java) S 1259 1259 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404531964 8262082560 29877 33554432000 4194304 4196468 140723061414336 139651465602720 139652618553045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1285] ppid=1259 vsize=8068440 memory=-1189914978686163229 CPUtime=0 cores=1,3,5,7
/proc/1277/task/1285/stat : 1285 (java) S 1259 1259 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404531964 8262082560 29877 33554432000 4194304 4196468 140723061414336 139651197166832 139652618553045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1286] ppid=1259 vsize=8068440 memory=9126232286719478932 CPUtime=0 cores=1,3,5,7
/proc/1277/task/1286/stat : 1286 (java) S 1259 1259 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404531967 8262082560 29877 33554432000 4194304 4196468 140723061414336 139650822658512 139652618561435 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1287] ppid=1259 vsize=8068440 memory=281344920612624 CPUtime=0.1 cores=1,3,5,7
/proc/1277/task/1287/stat : 1287 (java) S 1259 1259 31842 0 -1 1077944384 618 0 0 0 10 0 0 0 20 0 19 0 404531967 8262082560 29877 33554432000 4194304 4196468 140723061414336 139651996158192 139652618553986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1288] ppid=1259 vsize=8068440 memory=3184238592536293456 CPUtime=0.07 cores=1,3,5,7
/proc/1277/task/1288/stat : 1288 (java) S 1259 1259 31842 0 -1 1077944384 429 0 0 0 7 0 0 0 20 0 19 0 404531967 8262082560 29877 33554432000 4194304 4196468 140723061414336 139651995105648 139652618553986 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1289] ppid=1259 vsize=8068440 memory=4121814165003772020 CPUtime=0.19 cores=1,3,5,7
/proc/1277/task/1289/stat : 1289 (java) S 1259 1259 31842 0 -1 1077944384 511 0 0 0 19 0 0 0 20 0 19 0 404531967 8262082560 29877 33554432000 4194304 4196468 140723061414336 139651994052592 139652618553986 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1290] ppid=1259 vsize=8068440 memory=7947147252971169428 CPUtime=0 cores=1,3,5,7
/proc/1277/task/1290/stat : 1290 (java) S 1259 1259 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404531967 8262082560 29877 33554432000 4194304 4196468 140723061414336 139650324752736 139652618553045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1291] ppid=1259 vsize=8068440 memory=3472468968034362606 CPUtime=0 cores=1,3,5,7
/proc/1277/task/1291/stat : 1291 (java) S 1259 1259 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404531967 8262082560 29877 33554432000 4194304 4196468 140723061414336 139651993001008 139652618553986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1293] ppid=1259 vsize=8068440 memory=2315001027292581133 CPUtime=0 cores=1,3,5,7
/proc/1277/task/1293/stat : 1293 (java) S 1259 1259 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404532032 8262082560 29877 33554432000 4194304 4196468 140723061414336 139651985524544 139652618567449 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1295] ppid=1259 vsize=8068440 memory=2315001027476876840 CPUtime=0 cores=1,3,5,7
/proc/1277/task/1295/stat : 1295 (java) S 1259 1259 31842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 404532032 8262082560 29877 33554432000 4194304 4196468 140723061414336 139649787867024 139652618564765 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1296] ppid=1259 vsize=8068440 memory=2315026203278502218 CPUtime=0 cores=1,3,5,7
/proc/1277/task/1296/stat : 1296 (java) S 1259 1259 31842 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 404532032 8262082560 29877 33554432000 4194304 4196468 140723061414336 139649922088464 139652618564765 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1297] ppid=1259 vsize=8068440 memory=3677675446122179176 CPUtime=0 cores=1,3,5,7
/proc/1277/task/1297/stat : 1297 (java) S 1259 1259 31842 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 404532034 8262082560 29877 33554432000 4194304 4196468 140723061414336 139649519443248 139652618553045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
Current children cumulated CPU time: 11.34 s
Current children cumulated vsize: 8239788 KiB
Current children cumulated memory: 151648 KiB
[startup+7.101 s]
/proc/loadavg: 2.18 2.03 2.05 3/241 1297
/proc/meminfo: memFree=30757364/32770624 swapFree=66999536/67108860
[pid=1259] ppid=1256 vsize=113128 memory=1476 CPUtime=7.31 cores=1,3,5,7
/proc/1259/stat : 1259 (scop.sh) S 1256 1259 31842 0 -1 4202496 583 26772 0 0 0 0 710 21 20 0 1 0 404531652 115843072 369 33554432000 4194304 5098028 140727048324848 140727048321592 139929360413308 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33333248 140727048328035 140727048328304 140727048328304 140727048331213 0
/proc/1259/statm: 28282 369 311 221 0 87 0
[pid=1277] ppid=1259 vsize=8068440 memory=119508 CPUtime=1.14 cores=1,3,5,7
/proc/1277/stat : 1277 (java) S 1259 1259 31842 0 -1 1077944320 19546 0 0 0 108 6 0 0 20 0 19 0 404531961 8262082560 29877 33554432000 4194304 4196468 140723061414336 140723061396880 139652618542839 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
/proc/1277/statm: 2017110 29877 3210 1 0 1978454 0
[pid=1292] ppid=1277 vsize=58772 memory=33740 CPUtime=3.29 cores=1,3,5,7
/proc/1292/stat : 1292 (cryptominisat5) R 1277 1259 31842 0 -1 4202496 14312 0 0 0 328 1 0 0 20 0 1 0 404532032 60182528 8435 33554432000 4194304 4451008 140730261735184 140730261730840 140255017116348 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 26701824 140730261738429 140730261738560 140730261738560 140730261741510 0
/proc/1292/statm: 14693 8435 638 63 0 8420 0
[pid=1277/tid=1278] ppid=1259 vsize=8068440 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/1277/task/1278/stat : 1278 (java) S 1259 1259 31842 0 -1 1077944384 16600 0 0 0 69 5 0 0 20 0 19 0 404531961 8262082560 29877 33554432000 4194304 4196468 140723061414336 139652590383008 139652618553045 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1279] ppid=1259 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1277/task/1279/stat : 1279 (java) S 1259 1259 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404531962 8262082560 29877 33554432000 4194304 4196468 140723061414336 139652622785040 139652618553045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1280] ppid=1259 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1277/task/1280/stat : 1280 (java) S 1259 1259 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404531962 8262082560 29877 33554432000 4194304 4196468 140723061414336 139652422953616 139652618553045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1281] ppid=1259 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1277/task/1281/stat : 1281 (java) S 1259 1259 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404531962 8262082560 29877 33554432000 4194304 4196468 140723061414336 139652421900560 139652618553045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1282] ppid=1259 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1277/task/1282/stat : 1282 (java) S 1259 1259 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404531962 8262082560 29877 33554432000 4194304 4196468 140723061414336 139652420848016 139652618553045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1283] ppid=1259 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1277/task/1283/stat : 1283 (java) S 1259 1259 31842 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 404531964 8262082560 29877 33554432000 4194304 4196468 140723061414336 139651997211376 139652618553986 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1284] ppid=1259 vsize=8068440 memory=119508 CPUtime=0 cores=1,3,5,7
/proc/1277/task/1284/stat : 1284 (java) S 1259 1259 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404531964 8262082560 29877 33554432000 4194304 4196468 140723061414336 139651465602720 139652618553045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1285] ppid=1259 vsize=8068440 memory=29700 CPUtime=0 cores=1,3,5,7
/proc/1277/task/1285/stat : 1285 (java) S 1259 1259 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404531964 8262082560 29877 33554432000 4194304 4196468 140723061414336 139651197166832 139652618553045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1286] ppid=1259 vsize=8068440 memory=28412 CPUtime=0 cores=1,3,5,7
/proc/1277/task/1286/stat : 1286 (java) S 1259 1259 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404531967 8262082560 29877 33554432000 4194304 4196468 140723061414336 139650822658512 139652618561435 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1287] ppid=1259 vsize=8068440 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/1277/task/1287/stat : 1287 (java) S 1259 1259 31842 0 -1 1077944384 618 0 0 0 10 0 0 0 20 0 19 0 404531967 8262082560 29877 33554432000 4194304 4196468 140723061414336 139651996158192 139652618553986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1288] ppid=1259 vsize=8068440 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1277/task/1288/stat : 1288 (java) S 1259 1259 31842 0 -1 1077944384 429 0 0 0 7 0 0 0 20 0 19 0 404531967 8262082560 29877 33554432000 4194304 4196468 140723061414336 139651995105648 139652618553986 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1289] ppid=1259 vsize=8068440 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/1277/task/1289/stat : 1289 (java) S 1259 1259 31842 0 -1 1077944384 511 0 0 0 19 0 0 0 20 0 19 0 404531967 8262082560 29877 33554432000 4194304 4196468 140723061414336 139651994052592 139652618553986 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1290] ppid=1259 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1277/task/1290/stat : 1290 (java) S 1259 1259 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404531967 8262082560 29877 33554432000 4194304 4196468 140723061414336 139650324752736 139652618553045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1291] ppid=1259 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1277/task/1291/stat : 1291 (java) S 1259 1259 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404531967 8262082560 29877 33554432000 4194304 4196468 140723061414336 139651993001008 139652618553986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1293] ppid=1259 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1277/task/1293/stat : 1293 (java) S 1259 1259 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404532032 8262082560 29877 33554432000 4194304 4196468 140723061414336 139651985524544 139652618567449 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1295] ppid=1259 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1277/task/1295/stat : 1295 (java) S 1259 1259 31842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 404532032 8262082560 29877 33554432000 4194304 4196468 140723061414336 139649787867024 139652618564765 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1296] ppid=1259 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1277/task/1296/stat : 1296 (java) S 1259 1259 31842 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 404532032 8262082560 29877 33554432000 4194304 4196468 140723061414336 139649922088464 139652618564765 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1297] ppid=1259 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1277/task/1297/stat : 1297 (java) S 1259 1259 31842 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 404532034 8262082560 29877 33554432000 4194304 4196468 140723061414336 139649519443248 139652618553045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
Current children cumulated CPU time: 11.74 s
Current children cumulated vsize: 8240340 KiB
Current children cumulated memory: 154724 KiB
[startup+7.20098 s]
/proc/loadavg: 2.18 2.03 2.05 3/241 1297
/proc/meminfo: memFree=30757364/32770624 swapFree=66999536/67108860
[pid=1259] ppid=1256 vsize=113128 memory=1476 CPUtime=7.31 cores=1,3,5,7
/proc/1259/stat : 1259 (scop.sh) S 1256 1259 31842 0 -1 4202496 583 26772 0 0 0 0 710 21 20 0 1 0 404531652 115843072 369 33554432000 4194304 5098028 140727048324848 140727048321592 139929360413308 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33333248 140727048328035 140727048328304 140727048328304 140727048331213 0
/proc/1259/statm: 28282 369 311 221 0 87 0
[pid=1277] ppid=1259 vsize=7937364 memory=123020 CPUtime=4.68 cores=1,3,5,7
/proc/1277/stat : 1277 (java) S 1259 1259 31842 0 -1 1077944320 20256 14424 0 0 132 6 329 1 20 0 17 0 404531961 8127860736 30755 33554432000 4194304 4196468 140723061414336 140723061396880 139652618542839 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
/proc/1277/statm: 1984341 30755 3215 1 0 1945685 0
[pid=1277/tid=1278] ppid=1259 vsize=7937364 memory=30400 CPUtime=4.06 cores=1,3,5,7
/proc/1277/task/1278/stat : 1278 (java) R 1259 1259 31842 0 -1 4202560 16732 14424 0 0 71 5 329 1 20 0 17 0 404531961 8127860736 30755 33554432000 4194304 4196468 140723061414336 139652590370064 139652604714257 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1279] ppid=1259 vsize=7937364 memory=1396 CPUtime=3.3 cores=1,3,5,7
/proc/1277/task/1279/stat : 1279 (java) S 1259 1259 31842 0 -1 1077944384 2 14424 0 0 0 0 329 1 20 0 17 0 404531962 8127860736 30755 33554432000 4194304 4196468 140723061414336 139652622785040 139652618553045 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1280] ppid=1259 vsize=7937364 memory=181948 CPUtime=3.3 cores=1,3,5,7
/proc/1277/task/1280/stat : 1280 (java) S 1259 1259 31842 0 -1 1077944384 1 14424 0 0 0 0 329 1 20 0 17 0 404531962 8127860736 30755 33554432000 4194304 4196468 140723061414336 139652422953616 139652618553045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1281] ppid=1259 vsize=7937364 memory=4465 CPUtime=3.3 cores=1,3,5,7
/proc/1277/task/1281/stat : 1281 (java) S 1259 1259 31842 0 -1 1077944384 1 14424 0 0 0 0 329 1 20 0 17 0 404531962 8127860736 30755 33554432000 4194304 4196468 140723061414336 139652421900560 139652618553045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1282] ppid=1259 vsize=7937364 memory=4420 CPUtime=3.3 cores=1,3,5,7
/proc/1277/task/1282/stat : 1282 (java) S 1259 1259 31842 0 -1 1077944384 2 14424 0 0 0 0 329 1 20 0 17 0 404531962 8127860736 30755 33554432000 4194304 4196468 140723061414336 139652420848016 139652618553045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1283] ppid=1259 vsize=7937364 memory=0 CPUtime=3.3 cores=1,3,5,7
/proc/1277/task/1283/stat : 1283 (java) S 1259 1259 31842 0 -1 1077944384 5 14424 0 0 0 0 329 1 20 0 17 0 404531964 8127860736 30755 33554432000 4194304 4196468 140723061414336 139651997211376 139652618553986 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1284] ppid=1259 vsize=7937364 memory=0 CPUtime=3.3 cores=1,3,5,7
/proc/1277/task/1284/stat : 1284 (java) S 1259 1259 31842 0 -1 1077944384 13 14424 0 0 0 0 329 1 20 0 17 0 404531964 8127860736 30755 33554432000 4194304 4196468 140723061414336 139651465602720 139652618553045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1285] ppid=1259 vsize=7937364 memory=281344920192240 CPUtime=3.3 cores=1,3,5,7
/proc/1277/task/1285/stat : 1285 (java) S 1259 1259 31842 0 -1 1077944384 1 14424 0 0 0 0 329 1 20 0 17 0 404531964 8127860736 30755 33554432000 4194304 4196468 140723061414336 139651197166832 139652618553045 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1286] ppid=1259 vsize=7937364 memory=281344920081840 CPUtime=3.3 cores=1,3,5,7
/proc/1277/task/1286/stat : 1286 (java) S 1259 1259 31842 0 -1 1077944384 3 14424 0 0 0 0 329 1 20 0 17 0 404531967 8127860736 30755 33554432000 4194304 4196468 140723061414336 139650822658512 139652618561435 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1287] ppid=1259 vsize=7937364 memory=55 CPUtime=3.44 cores=1,3,5,7
/proc/1277/task/1287/stat : 1287 (java) S 1259 1259 31842 0 -1 1077944384 651 14424 0 0 14 0 329 1 20 0 17 0 404531967 8127860736 30755 33554432000 4194304 4196468 140723061414336 139651996158192 139652618553986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1288] ppid=1259 vsize=7937364 memory=9130442918640057222 CPUtime=3.43 cores=1,3,5,7
/proc/1277/task/1288/stat : 1288 (java) S 1259 1259 31842 0 -1 1077944384 483 14424 0 0 13 0 329 1 20 0 17 0 404531967 8127860736 30755 33554432000 4194304 4196468 140723061414336 139651995105648 139652618553986 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1289] ppid=1259 vsize=7937364 memory=0 CPUtime=3.55 cores=1,3,5,7
/proc/1277/task/1289/stat : 1289 (java) S 1259 1259 31842 0 -1 1077944384 688 14424 0 0 25 0 329 1 20 0 17 0 404531967 8127860736 30755 33554432000 4194304 4196468 140723061414336 139651994052592 139652618553986 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1290] ppid=1259 vsize=7937364 memory=3467824627879784490 CPUtime=3.3 cores=1,3,5,7
/proc/1277/task/1290/stat : 1290 (java) S 1259 1259 31842 0 -1 1077944384 3 14424 0 0 0 0 329 1 20 0 17 0 404531967 8127860736 30755 33554432000 4194304 4196468 140723061414336 139650324752736 139652618553045 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1291] ppid=1259 vsize=7937364 memory=0 CPUtime=3.3 cores=1,3,5,7
/proc/1277/task/1291/stat : 1291 (java) S 1259 1259 31842 0 -1 1077944384 3 14424 0 0 0 0 329 1 20 0 17 0 404531967 8127860736 30755 33554432000 4194304 4196468 140723061414336 139651993001008 139652618553986 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1293] ppid=1259 vsize=7937364 memory=0 CPUtime=3.3 cores=1,3,5,7
/proc/1277/task/1293/stat : 1293 (java) S 1259 1259 31842 0 -1 1077944384 29 14424 0 0 0 0 329 1 20 0 17 0 404532032 8127860736 30755 33554432000 4194304 4196468 140723061414336 139651985523728 139652618553986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
[pid=1277/tid=1297] ppid=1259 vsize=7937364 memory=119508 CPUtime=3.3 cores=1,3,5,7
/proc/1277/task/1297/stat : 1297 (java) S 1259 1259 31842 0 -1 1077944384 10 14424 0 0 0 0 329 1 20 0 17 0 404532034 8127860736 30755 33554432000 4194304 4196468 140723061414336 139649519445040 139652618553986 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38682624 140723061416956 140723061417114 140723061417114 140723061419983 0
Current children cumulated CPU time: 11.99 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 124496 KiB
Child status: 0
Real time (s): 7.28441
CPU time (s): 12.1854
CPU user time (s): 11.8709
CPU system time (s): 0.314544
CPU usage (%): 167.281
Max. virtual memory (cumulated for all children) (KiB): 15140432
Max. memory (cumulated for all children) (KiB): 851628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.8709
system time used= 0.314544
maximum resident set size= 858592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62385
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5982
involuntary context switches= 34
# summary of solver processes directly reported to runsolver:
# pid: 1259
# total CPU time (s): 12.1854
# total CPU user time (s): 11.8709
# total CPU system time (s): 0.314544
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.06932 second user time and 0.120016 second system time
The end