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-2848-serial-file.bin HOME/instance-4387900-1568291940.xml
0.66/0.53
0.66/0.53 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.53
0.66/0.55 c BEGIN-Prog: Thu Sep 12 14:38:20 CEST 2019
0.66/0.55 c PID: 2851
0.66/0.55 c IP: 172.20.3.146
0.66/0.55 c HOST: node146.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.21/0.90 c (0,0) Parsing End
1.42/0.90 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 556
1.42/0.90 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.42/0.90 c (0,0) Constraint Name Generate Begin
1.42/0.91 c (0,0) Ctr:HOME/instance-4387900-1568291940.xml,Le:NoOverlap:Num:Var
1.42/0.91 c (0,0) Constraint Name Generate End
1.42/0.91 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.42/0.91 c (0,0) CSP to CSPinCNF Begin
1.42/0.99 c (0,0) translated 6 (10%) constraints
1.42/0.99 c (0,0) translated 11 (20%) constraints
1.42/1.00 c (0,0) translated 16 (30%) constraints
1.42/1.00 c (0,0) translated 22 (40%) constraints
1.42/1.00 c (0,0) translated 27 (50%) constraints
1.58/1.01 c (0,0) translated 32 (60%) constraints
1.58/1.01 c (0,0) translated 38 (70%) constraints
1.58/1.01 c (0,0) translated 43 (80%) constraints
1.58/1.01 c (0,0) translated 48 (90%) constraints
2.17/1.28 c (0,0) translated 53 (100%) constraints
2.17/1.28 c (0,0) ===========================================
2.17/1.29 c (0,0) Hybrid: #OE=50, #LE=0
2.17/1.29 c (0,0) Hybrid
2.17/1.29 c (0,0) ===========================================
2.47/1.30 c (0,0) translated 36 (10%) constraints
2.47/1.31 c (0,0) translated 71 (20%) constraints
2.47/1.32 c (0,0) translated 106 (30%) constraints
2.47/1.32 c (0,0) translated 141 (40%) constraints
2.47/1.33 c (0,0) translated 176 (50%) constraints
2.47/1.33 c (0,0) translated 212 (60%) constraints
2.47/1.34 c (0,0) translated 247 (70%) constraints
2.47/1.34 c (0,0) translated 282 (80%) constraints
2.47/1.35 c (0,0) translated 317 (90%) constraints
2.47/1.35 c (0,0) translated 352 (100%) constraints
2.47/1.35 c (0,0) CSP to CSPinCNF End
2.47/1.35 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 554
2.47/1.35 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.47/1.35 c (0,0) CSPinCNF Propagation Begin
2.47/1.38 c (0,0) 0 values, 10 unsatisfiable literals, and 51 valid clauses are removed
2.47/1.38 c (0,0) CSPinCNF Propagation End
2.47/1.39 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 554
2.47/1.39 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.47/1.39 c (0,0) Hybrid: #OE=50, #LE=0
2.47/1.39 c (0,0) Simplify CSPinCNF Begin
2.81/1.48 c (0,0) Simplify CSPinCNF End
2.81/1.49 c (0,0) CSP: 50 int (0 aux), 1190 bool (1190 aux), 1491 ctr, max domain size 554
2.81/1.49 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.81/1.49 c (0,0) Calculate Precise Domain Begin
2.81/1.49 c (0,0) 0 values are removed by re-calculation
2.81/1.49 c (0,0) Calculate Precise Domain End
2.81/1.49 c (0,0) CSP: 50 int (0 aux), 1190 bool (1190 aux), 1491 ctr, max domain size 554
2.81/1.49 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.81/1.49 c (0,0) CSPinCNF to SatSolver Begin
4.61/2.07 c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 79386 SAT clauses)
4.87/2.28 c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 133838 SAT clauses)
5.11/2.48 c (1,1) 448 (30 %) CSP clauses are encoded (0 SAT variables, 183603 SAT clauses)
5.33/2.68 c (2,2) 597 (40 %) CSP clauses are encoded (0 SAT variables, 236106 SAT clauses)
5.58/2.86 c (2,2) 746 (50 %) CSP clauses are encoded (0 SAT variables, 283703 SAT clauses)
5.89/3.14 c (2,2) 895 (60 %) CSP clauses are encoded (0 SAT variables, 331125 SAT clauses)
5.89/3.21 c (2,2) 1044 (70 %) CSP clauses are encoded (0 SAT variables, 375558 SAT clauses)
6.10/3.37 c (2,2) 1193 (80 %) CSP clauses are encoded (0 SAT variables, 418263 SAT clauses)
6.31/3.51 c (2,2) 1342 (90 %) CSP clauses are encoded (0 SAT variables, 453615 SAT clauses)
6.42/3.60 c (3,3) 1491 (100 %) CSP clauses are encoded (0 SAT variables, 476690 SAT clauses)
6.42/3.60 c (3,3) CSPinCNF to SatSolver End
6.42/3.60 c (3,3) Heap : 1802 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.42/3.60 c (3,3) 24404 bool, 476854 clause
6.42/3.60 c (3,3) Export Begin
6.42/3.68 c (3,3) Export to HOME/scop-2848-serial-file.bin
6.42/3.68 c (3,3) Export End
6.42/3.68 c (3,3) Export File Size: 0.01 MB
6.42/3.68 c (3,3) 0,0,0,0,0,0,3,STOP-AFTER(DIMACS)
6.42/3.68 c END-Prog: Thu Sep 12 14:38:23 CEST 2019
0.00/3.71 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-2848-serial-file.bin
7.12/4.16 c (0,0) Read Serial File Begin
7.12/4.16 c (0,0) HOME/scop-2848-serial-file.bin
7.37/4.36 c (0,0) Read Serial File End
7.37/4.37
7.37/4.37 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
7.37/4.37 (Solving Process)
7.37/4.37
7.53/4.40 c BEGIN-Prog: Thu Sep 12 14:38:24 CEST 2019
7.53/4.40 c PID: 2866
7.53/4.40 c IP: 172.20.3.146
7.53/4.40 c HOST: node146.alineos.net
7.53/4.40 c (0,0) SatSolver.solve Begin
7.53/4.40 c (0,0) HOME/cryptominisat5 HOME/instance-4387900-1568291940.xml-scop-2851.cnf
7.53/4.43 c (0,0) c Outputting solution to console
7.53/4.43 c (0,0) c CryptoMiniSat version 5.6.8
7.53/4.43 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
7.53/4.43 c (0,0) c CMS SHA revision GIT-notfound
7.53/4.43 c (0,0) c CMS is MIT licensed
7.53/4.43 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
7.53/4.43 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
7.53/4.43 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387900-1568291940.xml-scop-2851.cnf
7.53/4.43 c (0,0) c Reading file 'HOME/instance-4387900-1568291940.xml-scop-2851.cnf'
7.53/4.43 c (0,0) c -- header says num vars: 24404
7.53/4.43 c (0,0) c -- header says num clauses: 476854
7.70/4.60 c (0,0) c -- clauses added: 476854
7.70/4.60 c (0,0) c -- xor clauses added: 0
7.70/4.60 c (0,0) c -- vars added 24404
7.70/4.60 c (0,0) c Parsing time: 0.15 s
7.70/4.63 c (0,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
7.70/4.63 c (0,0) c [distill] long cls tried: 4/4 cl-short:4 lit-r:1 T: 0.00 T-out: N T-r: 99.98%
8.38/5.12 c (1,0) c [distill] long cls tried: 196/200 cl-short:196 lit-r:62 T: 0.03 T-out: N T-r: 99.50%
8.97/5.79 c (1,0) c [distill] long cls tried: 165/362 cl-short:165 lit-r:125 T: 0.04 T-out: N T-r: 99.44%
9.28/6.02 c (1,0) c glue 1 45 8193 24345 451K 25K 3.00 2.95 411 3127 4653 4 20.48 20.47
10.27/7.07 c (2,0) c [distill] long cls tried: 1748/2104 cl-short:1748 lit-r:1757 T: 0.50 T-out: N T-r: 93.36%
11.37/8.18 c (4,0) c geom 1 88 16386 24172 451K 25K 3.00 2.95 2650 6460 7316 19 23.99 23.96
11.66/8.49 c (4,0) c [distill] long cls tried: 550/2579 cl-short:522 lit-r:2235 T: 0.26 T-out: N T-r: 96.91%
14.39/11.14 c (7,0) c [distill] long cls tried: 1932/4264 cl-short:1893 lit-r:8335 T: 1.01 T-out: N T-r: 88.40%
14.88/11.60 c (7,0) c glue 1 127 24K 24172 451K 25K 3.00 2.95 4326 6849 13171 285 26.52 26.24
18.28/15.05 c (10,0) c [distill] long cls tried: 2393/6177 cl-short:2185 lit-r:15480 T: 1.66 T-out: N T-r: 82.38%
18.77/15.55 c (11,0) c glue 1 162 32K 23469 451K 25K 3.00 2.95 6265 10010 15846 556 30.82 30.33
19.97/16.77 c (12,0) c ------- FINAL TOTAL SEARCH STATS ---------
19.97/16.77 c (12,0) c UIP search time : 12.15 (98.74 % time)
19.97/16.77 c (12,0) c restarts : 176 (203.95 confls per restart)
19.97/16.77 c (12,0) c blocked restarts : 100 (0.57 per normal restart)
19.97/16.77 c (12,0) c time : 12.15
19.97/16.77 c (12,0) c decisions : 91368 (0.00 % random)
19.97/16.77 c (12,0) c propagations : 63087860
19.97/16.77 c (12,0) c decisions/conflicts : 2.55
19.97/16.77 c (12,0) c conflicts : 35896 (2953.20 / sec)
19.97/16.77 c (12,0) c conf lits non-minim : 1761255 (49.07 lit/confl)
19.97/16.77 c (12,0) c conf lits final : 32.49
19.97/16.77 c (12,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
19.97/16.77 c (12,0) c red which0 : 1479 (4.12 % of confl)
19.97/16.77 c (12,0) c props/decision : 0.00
19.97/16.77 c (12,0) c props/conflict : 0.00
19.97/16.77 c (12,0) c 0-depth assigns : 1109 (4.54 % vars)
19.97/16.77 c (12,0) c 0-depth assigns by CNF : 0 (0.00 % vars)
19.97/16.77 c (12,0) c reduceDB time : 0.00 (0.02 % time)
19.97/16.77 c (12,0) c OccSimplifier time : 0.00 (0.00 % time)
19.97/16.77 c (12,0) c [occur] 0.00 is overhead
19.97/16.77 c (12,0) c [occur] link-in T: 0.00 cleanup T: 0.00
19.97/16.77 c (12,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
19.97/16.77 c (12,0) c SCC time : 0.00 (0.00 % time)
19.97/16.77 c (12,0) c [scc] new: 0 BP 0M T: 0.00
19.97/16.77 c (12,0) c vrep replace time : 0.00 (0.00 % time)
19.97/16.77 c (12,0) c vrep tree roots : 0
19.97/16.77 c (12,0) c vrep trees' crown : 0 (0.00 leafs/tree)
19.97/16.77 c (12,0) c distill time : 3.51 (28.53 % time)
19.97/16.77 c (12,0) c strength cache-irred time: 0.00 (0.00 % time)
19.97/16.77 c (12,0) c strength cache-red time : 0.00 (0.00 % time)
19.97/16.77 c (12,0) c Conflicts in UIP : 35896 (2915.88 confl/time_this_thread)
19.97/16.77 c (12,0) c Mem used : 65.89 MB
19.97/16.77 c (12,0) c Total time (this thread) : 12.31
19.97/16.77 c (12,0) s SATISFIABLE
20.12/16.90 c (12,0) SatSolver.solve End
20.12/16.90 c (12,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
20.12/16.90 c (12,0) Show results Begin
20.48/17.00 c (12,0) x[0] = 275
20.48/17.00 c (12,0) x[1] = 227
20.48/17.00 c (12,0) x[2] = 372
20.48/17.00 c (12,0) x[3] = 212
20.48/17.00 c (12,0) x[4] = 193
20.48/17.00 c (12,0) x[5] = 189
20.48/17.00 c (12,0) x[6] = 212
20.48/17.00 c (12,0) x[7] = 193
20.48/17.00 c (12,0) x[8] = 320
20.48/17.00 c (12,0) x[9] = 239
20.48/17.00 c (12,0) x[10] = 278
20.48/17.00 c (12,0) x[11] = 275
20.48/17.00 c (12,0) x[12] = 227
20.48/17.00 c (12,0) x[13] = 320
20.48/17.00 c (12,0) x[14] = 140
20.48/17.00 c (12,0) x[15] = 140
20.48/17.00 c (12,0) x[16] = 0
20.48/17.00 c (12,0) x[17] = 227
20.48/17.00 c (12,0) x[18] = 227
20.48/17.00 c (12,0) x[19] = 189
20.48/17.00 c (12,0) x[20] = 385
20.48/17.00 c (12,0) x[21] = 372
20.48/17.00 c (12,0) x[22] = 0
20.48/17.00 c (12,0) x[23] = 355
20.81/17.01 c (12,0) x[24] = 0
20.81/17.01 c (12,0) y[0] = 348
20.81/17.01 c (12,0) y[1] = 351
20.81/17.01 c (12,0) y[2] = 158
20.81/17.01 c (12,0) y[3] = 348
20.81/17.01 c (12,0) y[4] = 348
20.81/17.01 c (12,0) y[5] = 367
20.81/17.01 c (12,0) y[6] = 363
20.81/17.01 c (12,0) y[7] = 314
20.81/17.01 c (12,0) y[8] = 355
20.81/17.01 c (12,0) y[9] = 351
20.81/17.01 c (12,0) y[10] = 348
20.81/17.01 c (12,0) y[11] = 303
20.81/17.01 c (12,0) y[12] = 303
20.81/17.01 c (12,0) y[13] = 303
20.81/17.01 c (12,0) y[14] = 314
20.81/17.01 c (12,0) y[15] = 227
20.81/17.01 c (12,0) y[16] = 227
20.81/17.01 c (12,0) y[17] = 158
20.81/17.01 c (12,0) y[18] = 0
20.81/17.01 c (12,0) y[19] = 390
20.81/17.01 c (12,0) y[20] = 0
20.81/17.01 c (12,0) y[21] = 171
20.81/17.01 c (12,0) y[22] = 367
20.81/17.01 c (12,0) y[23] = 355
20.81/17.01 c (12,0) y[24] = 0
20.81/17.01 s SATISFIABLE
20.81/17.01 v <instantiation>
20.81/17.01 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24]</list>
20.81/17.01 v <values>275 227 372 212 193 189 212 193 320 239 278 275 227 320 140 140 0 227 227 189 385 372 0 355 0 348 351 158 348 348 367 363 314 355 351 348 303 303 303 314 227 227 158 0 390 0 171 367 355 0</values>
20.81/17.01 v </instantiation>
20.81/17.01 c (12,0) Show results End
20.81/17.01 c (12,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
20.81/17.01 c (12,0) 12,12,STOP-AFTER(ALL)
20.81/17.01 c END-Prog: Thu Sep 12 14:38:37 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 (15314 MiB free)
memory of node 1: 16384 MiB (15293 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387900-1568291940/watcher-4387900-1568291940 -o /tmp/evaluation-result-4387900-1568291940/solver-4387900-1568291940 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568286001-1042 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387900-1568291940.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=2848, runsolver pid=2845
[startup+0.10006 s]*
/proc/loadavg: 2.18 2.07 2.06 3/234 2865
/proc/meminfo: memFree=31282564/32770624 swapFree=66999580/67108860
[pid=2848] ppid=2845 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/2848/stat : 2848 (scop.sh) S 2845 2848 31842 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405108035 115843072 349 33554432000 4194304 5098028 140737451585648 140737451582904 140064567464572 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31354880 140737451594595 140737451594864 140737451594864 140737451597773 0
/proc/2848/statm: 28282 349 296 221 0 87 0
[pid=2851] ppid=2848 vsize=15012696 memory=72160 CPUtime=0.11 cores=0,2,4,6
/proc/2851/stat : 2851 (java) S 2848 2848 31842 0 -1 1077944320 6739 0 0 0 9 2 0 0 20 0 15 0 405108035 15373000704 18040 33554432000 4194304 4196468 140729350708096 140729350690640 140471593066231 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
/proc/2851/statm: 3753174 18040 2919 1 0 3715579 0
[pid=2851/tid=2852] ppid=2848 vsize=15012696 memory=-7812800577974661515 CPUtime=0.08 cores=0,2,4,6
/proc/2851/task/2852/stat : 2852 (java) R 2848 2848 31842 0 -1 4202560 4682 0 0 0 7 1 0 0 20 0 15 0 405108035 15373000704 18040 33554432000 4194304 4196468 140729350708096 140471564886392 140471577146644 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2853] ppid=2848 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2853/stat : 2853 (java) S 2848 2848 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405108037 15373000704 18040 33554432000 4194304 4196468 140729350708096 140471597308688 140471593076437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2854] ppid=2848 vsize=15012696 memory=139769586230912 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2854/stat : 2854 (java) S 2848 2848 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405108037 15373000704 18040 33554432000 4194304 4196468 140729350708096 140471411465104 140471593076437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2855] ppid=2848 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2855/stat : 2855 (java) S 2848 2848 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405108037 15373000704 18040 33554432000 4194304 4196468 140729350708096 140471410412560 140471593076437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2856] ppid=2848 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2856/stat : 2856 (java) S 2848 2848 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405108037 15373000704 18040 33554432000 4194304 4196468 140729350708096 140471409360016 140471593076437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2857] ppid=2848 vsize=15012696 memory=139769586230912 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2857/stat : 2857 (java) S 2848 2848 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405108038 15373000704 18105 33554432000 4194304 4196468 140729350708096 140470931941360 140471593077378 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2858] ppid=2848 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2858/stat : 2858 (java) S 2848 2848 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405108039 15373000704 18105 33554432000 4194304 4196468 140729350708096 140470193742752 140471593076437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2859] ppid=2848 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2859/stat : 2859 (java) S 2848 2848 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405108039 15373000704 18105 33554432000 4194304 4196468 140729350708096 140469925307376 140471593076437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2860] ppid=2848 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2860/stat : 2860 (java) S 2848 2848 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405108041 15373000704 18105 33554432000 4194304 4196468 140729350708096 140469550799056 140471593084827 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2861] ppid=2848 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2861/stat : 2861 (java) S 2848 2848 31842 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 405108041 15373000704 18171 33554432000 4194304 4196468 140729350708096 140470930889200 140471593077378 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2862] ppid=2848 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2862/stat : 2862 (java) S 2848 2848 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405108041 15373000704 18171 33554432000 4194304 4196468 140729350708096 140470929836656 140471593077378 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2863] ppid=2848 vsize=15012696 memory=139769586230912 CPUtime=0.01 cores=0,2,4,6
/proc/2851/task/2863/stat : 2863 (java) R 2848 2848 31842 0 -1 4202560 407 0 0 0 1 0 0 0 20 0 15 0 405108041 15373000704 18171 33554432000 4194304 4196468 140729350708096 140470928780872 140471577311612 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2864] ppid=2848 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2864/stat : 2864 (java) S 2848 2848 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405108042 15373000704 18171 33554432000 4194304 4196468 140729350708096 140469052894304 140471593076437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2865] ppid=2848 vsize=15012696 memory=139769586230912 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2865/stat : 2865 (java) S 2848 2848 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405108042 15373000704 18171 33554432000 4194304 4196468 140729350708096 140470927730992 140471593077378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73556 KiB
[startup+0.210788 s]*
/proc/loadavg: 2.18 2.07 2.06 3/234 2865
/proc/meminfo: memFree=31264408/32770624 swapFree=66999580/67108860
[pid=2848] ppid=2845 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/2848/stat : 2848 (scop.sh) S 2845 2848 31842 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405108035 115843072 349 33554432000 4194304 5098028 140737451585648 140737451582904 140064567464572 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31354880 140737451594595 140737451594864 140737451594864 140737451597773 0
/proc/2848/statm: 28282 349 296 221 0 87 0
[pid=2851] ppid=2848 vsize=15012696 memory=87788 CPUtime=0.24 cores=0,2,4,6
/proc/2851/stat : 2851 (java) S 2848 2848 31842 0 -1 1077944320 12045 0 0 0 21 3 0 0 20 0 15 0 405108035 15373000704 21947 33554432000 4194304 4196468 140729350708096 140729350690640 140471593066231 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
/proc/2851/statm: 3753174 21947 2930 1 0 3715579 0
[pid=2851/tid=2852] ppid=2848 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/2851/task/2852/stat : 2852 (java) R 2848 2848 31842 0 -1 4202560 9822 0 0 0 17 3 0 0 20 0 15 0 405108035 15373000704 22012 33554432000 4194304 4196468 140729350708096 140471564865616 140471577146718 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2853] ppid=2848 vsize=15012696 memory=539 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2853/stat : 2853 (java) S 2848 2848 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405108037 15373000704 22012 33554432000 4194304 4196468 140729350708096 140471597308688 140471593076437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2854] ppid=2848 vsize=15012696 memory=139769586255238 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2854/stat : 2854 (java) S 2848 2848 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405108037 15373000704 22012 33554432000 4194304 4196468 140729350708096 140471411465104 140471593076437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2855] ppid=2848 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2855/stat : 2855 (java) S 2848 2848 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405108037 15373000704 22012 33554432000 4194304 4196468 140729350708096 140471410412560 140471593076437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2856] ppid=2848 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2856/stat : 2856 (java) S 2848 2848 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405108037 15373000704 22012 33554432000 4194304 4196468 140729350708096 140471409360016 140471593076437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2857] ppid=2848 vsize=15012696 memory=139769586230912 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2857/stat : 2857 (java) S 2848 2848 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405108038 15373000704 22012 33554432000 4194304 4196468 140729350708096 140470931941360 140471593077378 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2858] ppid=2848 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2858/stat : 2858 (java) S 2848 2848 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405108039 15373000704 22012 33554432000 4194304 4196468 140729350708096 140470193742752 140471593076437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2859] ppid=2848 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2859/stat : 2859 (java) S 2848 2848 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405108039 15373000704 22012 33554432000 4194304 4196468 140729350708096 140469925307376 140471593076437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2860] ppid=2848 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2860/stat : 2860 (java) S 2848 2848 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405108041 15373000704 22012 33554432000 4194304 4196468 140729350708096 140469550799056 140471593084827 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2861] ppid=2848 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2861/stat : 2861 (java) S 2848 2848 31842 0 -1 1077944384 449 0 0 0 0 0 0 0 20 0 15 0 405108041 15373000704 22012 33554432000 4194304 4196468 140729350708096 140470930889200 140471593077378 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2862] ppid=2848 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2862/stat : 2862 (java) S 2848 2848 31842 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 405108041 15373000704 22012 33554432000 4194304 4196468 140729350708096 140470929836656 140471593077378 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2863] ppid=2848 vsize=15012696 memory=139769586230912 CPUtime=0.02 cores=0,2,4,6
/proc/2851/task/2863/stat : 2863 (java) S 2848 2848 31842 0 -1 1077944384 440 0 0 0 2 0 0 0 20 0 15 0 405108041 15373000704 22012 33554432000 4194304 4196468 140729350708096 140470928784112 140471593077378 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2864] ppid=2848 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2864/stat : 2864 (java) S 2848 2848 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405108042 15373000704 22012 33554432000 4194304 4196468 140729350708096 140469052894304 140471593076437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2865] ppid=2848 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2865/stat : 2865 (java) S 2848 2848 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405108042 15373000704 22012 33554432000 4194304 4196468 140729350708096 140470927730992 140471593077378 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89184 KiB
[startup+0.310414 s]*
/proc/loadavg: 2.18 2.07 2.06 4/234 2865
/proc/meminfo: memFree=31260748/32770624 swapFree=66999580/67108860
[pid=2848] ppid=2845 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/2848/stat : 2848 (scop.sh) S 2845 2848 31842 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405108035 115843072 349 33554432000 4194304 5098028 140737451585648 140737451582904 140064567464572 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31354880 140737451594595 140737451594864 140737451594864 140737451597773 0
/proc/2848/statm: 28282 349 296 221 0 87 0
[pid=2851] ppid=2848 vsize=15012696 memory=91992 CPUtime=0.43 cores=0,2,4,6
/proc/2851/stat : 2851 (java) S 2848 2848 31842 0 -1 1077944320 12549 0 0 0 39 4 0 0 20 0 15 0 405108035 15373000704 22998 33554432000 4194304 4196468 140729350708096 140729350690640 140471593066231 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
/proc/2851/statm: 3753174 22998 3041 1 0 3715579 0
[pid=2851/tid=2852] ppid=2848 vsize=15012696 memory=6935054825532540783 CPUtime=0.3 cores=0,2,4,6
/proc/2851/task/2852/stat : 2852 (java) R 2848 2848 31842 0 -1 4202560 10122 0 0 0 27 3 0 0 20 0 15 0 405108035 15373000704 22998 33554432000 4194304 4196468 140729350708096 140471564896304 140471577146718 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2853] ppid=2848 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2853/stat : 2853 (java) S 2848 2848 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405108037 15373000704 22998 33554432000 4194304 4196468 140729350708096 140471597308688 140471593076437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2854] ppid=2848 vsize=15012696 memory=-2893623298589923098 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2854/stat : 2854 (java) S 2848 2848 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405108037 15373000704 22998 33554432000 4194304 4196468 140729350708096 140471411465104 140471593076437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2855] ppid=2848 vsize=15012696 memory=4206186544037388384 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2855/stat : 2855 (java) S 2848 2848 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405108037 15373000704 22998 33554432000 4194304 4196468 140729350708096 140471410412560 140471593076437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2856] ppid=2848 vsize=15012696 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2856/stat : 2856 (java) S 2848 2848 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405108037 15373000704 22998 33554432000 4194304 4196468 140729350708096 140471409360016 140471593076437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2857] ppid=2848 vsize=15012696 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2857/stat : 2857 (java) S 2848 2848 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405108038 15373000704 22998 33554432000 4194304 4196468 140729350708096 140470931941360 140471593077378 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2858] ppid=2848 vsize=15012696 memory=-6654736624941490777 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2858/stat : 2858 (java) S 2848 2848 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405108039 15373000704 22998 33554432000 4194304 4196468 140729350708096 140470193742752 140471593076437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2859] ppid=2848 vsize=15012696 memory=5863793785810542651 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2859/stat : 2859 (java) S 2848 2848 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405108039 15373000704 22998 33554432000 4194304 4196468 140729350708096 140469925307376 140471593076437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2860] ppid=2848 vsize=15012696 memory=6944656592455350634 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2860/stat : 2860 (java) S 2848 2848 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405108041 15373000704 22998 33554432000 4194304 4196468 140729350708096 140469550799056 140471593084827 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2861] ppid=2848 vsize=15012696 memory=-8918990855134196790 CPUtime=0.01 cores=0,2,4,6
/proc/2851/task/2861/stat : 2861 (java) S 2848 2848 31842 0 -1 1077944384 482 0 0 0 1 0 0 0 20 0 15 0 405108041 15373000704 22998 33554432000 4194304 4196468 140729350708096 140470930889200 140471593077378 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2862] ppid=2848 vsize=15012696 memory=3047711553320166262 CPUtime=0.03 cores=0,2,4,6
/proc/2851/task/2862/stat : 2862 (java) S 2848 2848 31842 0 -1 1077944384 132 0 0 0 3 0 0 0 20 0 15 0 405108041 15373000704 22998 33554432000 4194304 4196468 140729350708096 140470929836656 140471593077378 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2863] ppid=2848 vsize=15012696 memory=-8412656567251072666 CPUtime=0.07 cores=0,2,4,6
/proc/2851/task/2863/stat : 2863 (java) S 2848 2848 31842 0 -1 1077944384 488 0 0 0 7 0 0 0 20 0 15 0 405108041 15373000704 22998 33554432000 4194304 4196468 140729350708096 140470928784112 140471593077378 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2864] ppid=2848 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2864/stat : 2864 (java) S 2848 2848 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405108042 15373000704 22998 33554432000 4194304 4196468 140729350708096 140469052894304 140471593076437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2865] ppid=2848 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2865/stat : 2865 (java) S 2848 2848 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405108042 15373000704 22998 33554432000 4194304 4196468 140729350708096 140470927730992 140471593077378 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93388 KiB
[startup+0.70146 s]
/proc/loadavg: 2.18 2.07 2.06 3/234 2865
/proc/meminfo: memFree=31240076/32770624 swapFree=66999580/67108860
[pid=2848] ppid=2845 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/2848/stat : 2848 (scop.sh) S 2845 2848 31842 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405108035 115843072 349 33554432000 4194304 5098028 140737451585648 140737451582904 140064567464572 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31354880 140737451594595 140737451594864 140737451594864 140737451597773 0
/proc/2848/statm: 28282 349 296 221 0 87 0
[pid=2851] ppid=2848 vsize=15021092 memory=130316 CPUtime=1.01 cores=0,2,4,6
/proc/2851/stat : 2851 (java) S 2848 2848 31842 0 -1 1077944320 20491 0 0 0 96 5 0 0 20 0 15 0 405108035 15381598208 32579 33554432000 4194304 4196468 140729350708096 140729350690640 140471593066231 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
/proc/2851/statm: 3755273 32579 3199 1 0 3716603 0
[pid=2851/tid=2852] ppid=2848 vsize=15021092 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/2851/task/2852/stat : 2852 (java) R 2848 2848 31842 0 -1 4202560 17519 0 0 0 63 4 0 0 20 0 15 0 405108035 15381598208 32579 33554432000 4194304 4196468 140729350708096 140471564897632 140471577146718 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2853] ppid=2848 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2853/stat : 2853 (java) S 2848 2848 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405108037 15381598208 32579 33554432000 4194304 4196468 140729350708096 140471597308688 140471593076437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2854] ppid=2848 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2854/stat : 2854 (java) S 2848 2848 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405108037 15381598208 32579 33554432000 4194304 4196468 140729350708096 140471411465104 140471593076437 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2855] ppid=2848 vsize=15021092 memory=1294 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2855/stat : 2855 (java) S 2848 2848 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405108037 15381598208 32579 33554432000 4194304 4196468 140729350708096 140471410412560 140471593076437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2856] ppid=2848 vsize=15021092 memory=293044755 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2856/stat : 2856 (java) S 2848 2848 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405108037 15381598208 32579 33554432000 4194304 4196468 140729350708096 140471409360016 140471593076437 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2857] ppid=2848 vsize=15021092 memory=2372 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2857/stat : 2857 (java) S 2848 2848 31842 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405108038 15381598208 32579 33554432000 4194304 4196468 140729350708096 140470931941360 140471593077378 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2858] ppid=2848 vsize=15021092 memory=180 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2858/stat : 2858 (java) S 2848 2848 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405108039 15381598208 32579 33554432000 4194304 4196468 140729350708096 140470193742752 140471593076437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2859] ppid=2848 vsize=15021092 memory=13918 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2859/stat : 2859 (java) S 2848 2848 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405108039 15381598208 32579 33554432000 4194304 4196468 140729350708096 140469925307376 140471593076437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2860] ppid=2848 vsize=15021092 memory=2925500 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2860/stat : 2860 (java) S 2848 2848 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405108041 15381598208 32579 33554432000 4194304 4196468 140729350708096 140469550799056 140471593084827 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2861] ppid=2848 vsize=15021092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2851/task/2861/stat : 2861 (java) R 2848 2848 31842 0 -1 4202560 721 0 0 0 8 0 0 0 20 0 15 0 405108041 15381598208 32579 33554432000 4194304 4196468 140729350708096 140470930879584 140471577453753 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2862] ppid=2848 vsize=15021092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2851/task/2862/stat : 2862 (java) S 2848 2848 31842 0 -1 1077944384 310 0 0 0 7 0 0 0 20 0 15 0 405108041 15381598208 32579 33554432000 4194304 4196468 140729350708096 140470929836656 140471593077378 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2863] ppid=2848 vsize=15021092 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/2851/task/2863/stat : 2863 (java) S 2848 2848 31842 0 -1 1077944384 607 0 0 0 15 0 0 0 20 0 15 0 405108041 15381598208 32579 33554432000 4194304 4196468 140729350708096 140470928784112 140471593077378 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2864] ppid=2848 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2864/stat : 2864 (java) S 2848 2848 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405108042 15381598208 32579 33554432000 4194304 4196468 140729350708096 140469052894304 140471593076437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
[pid=2851/tid=2865] ppid=2848 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2851/task/2865/stat : 2865 (java) S 2848 2848 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405108042 15381598208 32579 33554432000 4194304 4196468 140729350708096 140470927730992 140471593077378 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31313920 140729350710058 140729350710426 140729350710426 140729350713295 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131712 KiB
[startup+1.50072 s]
/proc/loadavg: 2.18 2.07 2.06 4/234 2865
/proc/meminfo: memFree=31214580/32770624 swapFree=66999580/67108860
[pid=2848] ppid=2845 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/2848/stat : 2848 (scop.sh) S 2845 2848 31842 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405108035 115843072 349 33554432000 4194304 5098028 140737451585648 140737451582904 140064567464572 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31354880 140737451594595 140737451594864 140737451594864 140737451597773 0
/proc/2848/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/2866/task/2882/stat : 2882 (java) S 2848 2848 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405108477 8262082560 29715 33554432000 4194304 4196468 140727227564512 140137227903936 140137860976409 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2884] ppid=2848 vsize=8068440 memory=6946866654921323415 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2884/stat : 2884 (java) S 2848 2848 31842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 405108477 8262082560 29715 33554432000 4194304 4196468 140727227564512 140135119171088 140137860973725 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2885] ppid=2848 vsize=8068440 memory=8305315425968087136 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2885/stat : 2885 (java) S 2848 2848 31842 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 405108478 8262082560 29715 33554432000 4194304 4196468 140727227564512 140134984949648 140137860973725 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2886] ppid=2848 vsize=8068440 memory=139769586361825 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2886/stat : 2886 (java) S 2848 2848 31842 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 405108480 8262082560 29715 33554432000 4194304 4196468 140727227564512 140135253401008 140137860962005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
Current children cumulated CPU time: 17.68 s
Current children cumulated vsize: 8281888 KiB
Current children cumulated memory: 186164 KiB
[startup+16.001 s]*
/proc/loadavg: 2.14 2.06 2.05 3/240 2889
/proc/meminfo: memFree=31160716/32770624 swapFree=66999580/67108860
[pid=2848] ppid=2845 vsize=113128 memory=1476 CPUtime=6.59 cores=0,2,4,6
/proc/2848/stat : 2848 (scop.sh) S 2845 2848 31842 0 -1 4202496 582 27069 0 0 0 0 623 36 20 0 1 0 405108035 115843072 369 33554432000 4194304 5098028 140737451585648 140737451582392 140064567464572 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31354880 140737451594595 140737451594864 140737451594864 140737451597773 0
/proc/2848/statm: 28282 369 311 221 0 87 0
[pid=2866] ppid=2848 vsize=8068440 memory=118860 CPUtime=1.12 cores=0,2,4,6
/proc/2866/stat : 2866 (java) S 2848 2848 31842 0 -1 1077944320 19194 0 0 0 105 7 0 0 20 0 19 0 405108406 8262082560 29715 33554432000 4194304 4196468 140727227564512 140727227547056 140137860951799 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
/proc/2866/statm: 2017110 29715 3205 1 0 1978454 0
[pid=2881] ppid=2866 vsize=100588 memory=66780 CPUtime=11.57 cores=0,2,4,6
/proc/2881/stat : 2881 (cryptominisat5) R 2866 2848 31842 0 -1 4202496 46755 0 0 0 1154 3 0 0 20 0 1 0 405108477 103002112 16695 33554432000 4194304 4451008 140723666323312 140723666319432 140502596804791 0 4 0 2 0 0 0 17 2 0 0 0 0 0 6549032 6559120 36626432 140723666326461 140723666326592 140723666326592 140723666329542 0
/proc/2881/statm: 25147 16695 644 63 0 18874 0
[pid=2866/tid=2867] ppid=2848 vsize=8068440 memory=6935054825532540783 CPUtime=0.74 cores=0,2,4,6
/proc/2866/task/2867/stat : 2867 (java) S 2848 2848 31842 0 -1 1077944384 16350 0 0 0 69 5 0 0 20 0 19 0 405108406 8262082560 29715 33554432000 4194304 4196468 140727227564512 140137832791968 140137860962005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2868] ppid=2848 vsize=8068440 memory=7156325813630559073 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2868/stat : 2868 (java) S 2848 2848 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405108407 8262082560 29715 33554432000 4194304 4196468 140727227564512 140137865194384 140137860962005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2869] ppid=2848 vsize=8068440 memory=2320398613973969220 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2869/stat : 2869 (java) S 2848 2848 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405108407 8262082560 29715 33554432000 4194304 4196468 140727227564512 140137670957840 140137860962005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2870] ppid=2848 vsize=8068440 memory=4049052965681574193 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2870/stat : 2870 (java) S 2848 2848 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405108407 8262082560 29715 33554432000 4194304 4196468 140727227564512 140137344961680 140137860962005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2871] ppid=2848 vsize=8068440 memory=-6152040647509657030 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2871/stat : 2871 (java) S 2848 2848 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405108407 8262082560 29715 33554432000 4194304 4196468 140727227564512 140137343908880 140137860962005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2872] ppid=2848 vsize=8068440 memory=-7809348854866071953 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2872/stat : 2872 (java) S 2848 2848 31842 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405108409 8262082560 29715 33554432000 4194304 4196468 140727227564512 140137240148080 140137860962946 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2873] ppid=2848 vsize=8068440 memory=6525018278055875443 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2873/stat : 2873 (java) S 2848 2848 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405108409 8262082560 29715 33554432000 4194304 4196468 140727227564512 140136796906272 140137860962005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2874] ppid=2848 vsize=8068440 memory=3047711604724501792 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2874/stat : 2874 (java) S 2848 2848 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405108409 8262082560 29715 33554432000 4194304 4196468 140727227564512 140136528471152 140137860962005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2875] ppid=2848 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2875/stat : 2875 (java) S 2848 2848 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405108412 8262082560 29715 33554432000 4194304 4196468 140727227564512 140136153962576 140137860970395 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2876] ppid=2848 vsize=8068440 memory=1696 CPUtime=0.08 cores=0,2,4,6
/proc/2866/task/2876/stat : 2876 (java) S 2848 2848 31842 0 -1 1077944384 611 0 0 0 8 0 0 0 20 0 19 0 405108412 8262082560 29715 33554432000 4194304 4196468 140727227564512 140137239095920 140137860962946 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2877] ppid=2848 vsize=8068440 memory=3436 CPUtime=0.06 cores=0,2,4,6
/proc/2866/task/2877/stat : 2877 (java) S 2848 2848 31842 0 -1 1077944384 326 0 0 0 6 0 0 0 20 0 19 0 405108412 8262082560 29715 33554432000 4194304 4196468 140727227564512 140137238043120 140137860962946 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2878] ppid=2848 vsize=8068440 memory=7548 CPUtime=0.19 cores=0,2,4,6
/proc/2866/task/2878/stat : 2878 (java) S 2848 2848 31842 0 -1 1077944384 508 0 0 0 19 0 0 0 20 0 19 0 405108412 8262082560 29715 33554432000 4194304 4196468 140727227564512 140137236990832 140137860962946 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2879] ppid=2848 vsize=8068440 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2879/stat : 2879 (java) S 2848 2848 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405108412 8262082560 29715 33554432000 4194304 4196468 140727227564512 140135656057824 140137860962005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2880] ppid=2848 vsize=8068440 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2880/stat : 2880 (java) S 2848 2848 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405108412 8262082560 29715 33554432000 4194304 4196468 140727227564512 140137235937712 140137860962946 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2882] ppid=2848 vsize=8068440 memory=5904 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2882/stat : 2882 (java) S 2848 2848 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405108477 8262082560 29715 33554432000 4194304 4196468 140727227564512 140137227903936 140137860976409 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2884] ppid=2848 vsize=8068440 memory=772 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2884/stat : 2884 (java) S 2848 2848 31842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 405108477 8262082560 29715 33554432000 4194304 4196468 140727227564512 140135119171088 140137860973725 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2885] ppid=2848 vsize=8068440 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2885/stat : 2885 (java) S 2848 2848 31842 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 405108478 8262082560 29715 33554432000 4194304 4196468 140727227564512 140134984949648 140137860973725 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2886] ppid=2848 vsize=8068440 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2886/stat : 2886 (java) S 2848 2848 31842 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 405108480 8262082560 29715 33554432000 4194304 4196468 140727227564512 140135253401008 140137860962005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
Current children cumulated CPU time: 19.28 s
Current children cumulated vsize: 8282156 KiB
Current children cumulated memory: 187116 KiB
[startup+16.8018 s]
/proc/loadavg: 2.14 2.06 2.05 3/240 2889
/proc/meminfo: memFree=31160716/32770624 swapFree=66999580/67108860
[pid=2848] ppid=2845 vsize=113128 memory=1476 CPUtime=6.59 cores=0,2,4,6
/proc/2848/stat : 2848 (scop.sh) S 2845 2848 31842 0 -1 4202496 582 27069 0 0 0 0 623 36 20 0 1 0 405108035 115843072 369 33554432000 4194304 5098028 140737451585648 140737451582392 140064567464572 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31354880 140737451594595 140737451594864 140737451594864 140737451597773 0
/proc/2848/statm: 28282 369 311 221 0 87 0
[pid=2866] ppid=2848 vsize=8068440 memory=120920 CPUtime=1.18 cores=0,2,4,6
/proc/2866/stat : 2866 (java) S 2848 2848 31842 0 -1 1077944320 20136 0 0 0 111 7 0 0 20 0 19 0 405108406 8262082560 30230 33554432000 4194304 4196468 140727227564512 140727227547056 140137860951799 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
/proc/2866/statm: 2017110 30230 3209 1 0 1978454 0
[pid=2881] ppid=2866 vsize=100868 memory=67468 CPUtime=12.35 cores=0,2,4,6
/proc/2881/stat : 2881 (cryptominisat5) S 2866 2848 31842 0 -1 4202496 47540 0 0 0 1231 4 0 0 20 0 1 0 405108477 103288832 16867 33554432000 4194304 4451008 140723666323312 140723666320536 140502577568864 0 4 0 2 18446744071580971376 0 0 17 2 0 0 0 0 0 6549032 6559120 36626432 140723666326461 140723666326592 140723666326592 140723666329542 0
/proc/2881/statm: 25217 16867 653 63 0 18944 0
[pid=2866/tid=2867] ppid=2848 vsize=8068440 memory=5904 CPUtime=0.74 cores=0,2,4,6
/proc/2866/task/2867/stat : 2867 (java) S 2848 2848 31842 0 -1 1077944384 16350 0 0 0 69 5 0 0 20 0 19 0 405108406 8262082560 30230 33554432000 4194304 4196468 140727227564512 140137832791968 140137860962005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2868] ppid=2848 vsize=8068440 memory=317785447046840346 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2868/stat : 2868 (java) S 2848 2848 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405108407 8262082560 30230 33554432000 4194304 4196468 140727227564512 140137865194384 140137860962005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2869] ppid=2848 vsize=8068440 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2869/stat : 2869 (java) S 2848 2848 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405108407 8262082560 30230 33554432000 4194304 4196468 140727227564512 140137670957840 140137860962005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2870] ppid=2848 vsize=8068440 memory=15534141617735951 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2870/stat : 2870 (java) S 2848 2848 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405108407 8262082560 30230 33554432000 4194304 4196468 140727227564512 140137344961680 140137860962005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2871] ppid=2848 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2871/stat : 2871 (java) S 2848 2848 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405108407 8262082560 30230 33554432000 4194304 4196468 140727227564512 140137343908880 140137860962005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2872] ppid=2848 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2872/stat : 2872 (java) S 2848 2848 31842 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405108409 8262082560 30230 33554432000 4194304 4196468 140727227564512 140137240148080 140137860962946 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2873] ppid=2848 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2873/stat : 2873 (java) S 2848 2848 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405108409 8262082560 30230 33554432000 4194304 4196468 140727227564512 140136796906272 140137860962005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2874] ppid=2848 vsize=8068440 memory=118860 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2874/stat : 2874 (java) S 2848 2848 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405108409 8262082560 30230 33554432000 4194304 4196468 140727227564512 140136528471152 140137860962005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2875] ppid=2848 vsize=8068440 memory=66372 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2875/stat : 2875 (java) S 2848 2848 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405108412 8262082560 30230 33554432000 4194304 4196468 140727227564512 140136153962576 140137860970395 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2876] ppid=2848 vsize=8068440 memory=1240 CPUtime=0.09 cores=0,2,4,6
/proc/2866/task/2876/stat : 2876 (java) R 2848 2848 31842 0 -1 1077944384 615 0 0 0 9 0 0 0 20 0 19 0 405108412 8262082560 30230 33554432000 4194304 4196468 140727227564512 140137239082704 140137860962005 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2877] ppid=2848 vsize=8068440 memory=580 CPUtime=0.08 cores=0,2,4,6
/proc/2866/task/2877/stat : 2877 (java) R 2848 2848 31842 0 -1 4202560 507 0 0 0 8 0 0 0 20 0 19 0 405108412 8262082560 30230 33554432000 4194304 4196468 140727227564512 140137238043120 140137840284521 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2878] ppid=2848 vsize=8068440 memory=1696 CPUtime=0.21 cores=0,2,4,6
/proc/2866/task/2878/stat : 2878 (java) R 2848 2848 31842 0 -1 4202560 709 0 0 0 21 0 0 0 20 0 19 0 405108412 8262082560 30230 33554432000 4194304 4196468 140727227564512 140137236986592 140137853188926 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2879] ppid=2848 vsize=8068440 memory=-3622645143214314312 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2879/stat : 2879 (java) S 2848 2848 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405108412 8262082560 30230 33554432000 4194304 4196468 140727227564512 140135656057824 140137860962005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2880] ppid=2848 vsize=8068440 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2880/stat : 2880 (java) S 2848 2848 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405108412 8262082560 30230 33554432000 4194304 4196468 140727227564512 140137235937712 140137860962946 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2882] ppid=2848 vsize=8068440 memory=1332 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2882/stat : 2882 (java) S 2848 2848 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405108477 8262082560 30230 33554432000 4194304 4196468 140727227564512 140137227903936 140137860976409 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2884] ppid=2848 vsize=8068440 memory=2648 CPUtime=0.02 cores=0,2,4,6
/proc/2866/task/2884/stat : 2884 (java) R 2848 2848 31842 0 -1 4202560 567 0 0 0 2 0 0 0 20 0 19 0 405108477 8262082560 30230 33554432000 4194304 4196468 140727227564512 140135119177472 140137845063852 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2885] ppid=2848 vsize=8068440 memory=912 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2885/stat : 2885 (java) S 2848 2848 31842 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 405108478 8262082560 30230 33554432000 4194304 4196468 140727227564512 140134984949648 140137860973725 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2886] ppid=2848 vsize=8068440 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/2866/task/2886/stat : 2886 (java) S 2848 2848 31842 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 405108480 8262082560 30230 33554432000 4194304 4196468 140727227564512 140135253401008 140137860962005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
Current children cumulated CPU time: 20.12 s
Current children cumulated vsize: 8282436 KiB
Current children cumulated memory: 189864 KiB
[startup+17.0008 s]*
/proc/loadavg: 2.14 2.06 2.05 6/237 2889
/proc/meminfo: memFree=31197176/32770624 swapFree=66999580/67108860
[pid=2848] ppid=2845 vsize=113128 memory=1476 CPUtime=6.59 cores=0,2,4,6
/proc/2848/stat : 2848 (scop.sh) S 2845 2848 31842 0 -1 4202496 582 27069 0 0 0 0 623 36 20 0 1 0 405108035 115843072 369 33554432000 4194304 5098028 140737451585648 140737451582392 140064567464572 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31354880 140737451594595 140737451594864 140737451594864 140737451597773 0
/proc/2848/statm: 28282 369 311 221 0 87 0
[pid=2866] ppid=2848 vsize=7937364 memory=147952 CPUtime=14.22 cores=0,2,4,6
/proc/2866/stat : 2866 (java) S 2848 2848 31842 0 -1 1077944320 23893 47802 0 0 178 9 1231 4 20 0 17 0 405108406 8127860736 36988 33554432000 4194304 4196468 140727227564512 140727227547056 140137860951799 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
/proc/2866/statm: 1984341 36988 3232 1 0 1945685 0
[pid=2866/tid=2867] ppid=2848 vsize=7937364 memory=6935054825532540783 CPUtime=13.2 cores=0,2,4,6
/proc/2866/task/2867/stat : 2867 (java) R 2848 2848 31842 0 -1 4202560 16636 47802 0 0 80 5 1231 4 20 0 17 0 405108406 8127860736 37546 33554432000 4194304 4196468 140727227564512 140137832792304 140137853637431 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2868] ppid=2848 vsize=7937364 memory=0 CPUtime=12.35 cores=0,2,4,6
/proc/2866/task/2868/stat : 2868 (java) S 2848 2848 31842 0 -1 1077944384 1 47802 0 0 0 0 1231 4 20 0 17 0 405108407 8127860736 37546 33554432000 4194304 4196468 140727227564512 140137865194384 140137860962005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2869] ppid=2848 vsize=7937364 memory=0 CPUtime=12.35 cores=0,2,4,6
/proc/2866/task/2869/stat : 2869 (java) S 2848 2848 31842 0 -1 1077944384 2 47802 0 0 0 0 1231 4 20 0 17 0 405108407 8127860736 37546 33554432000 4194304 4196468 140727227564512 140137670957840 140137860962005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2870] ppid=2848 vsize=7937364 memory=0 CPUtime=12.35 cores=0,2,4,6
/proc/2866/task/2870/stat : 2870 (java) S 2848 2848 31842 0 -1 1077944384 1 47802 0 0 0 0 1231 4 20 0 17 0 405108407 8127860736 37546 33554432000 4194304 4196468 140727227564512 140137344961680 140137860962005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2871] ppid=2848 vsize=7937364 memory=0 CPUtime=12.35 cores=0,2,4,6
/proc/2866/task/2871/stat : 2871 (java) S 2848 2848 31842 0 -1 1077944384 2 47802 0 0 0 0 1231 4 20 0 17 0 405108407 8127860736 37546 33554432000 4194304 4196468 140727227564512 140137343908880 140137860962005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2872] ppid=2848 vsize=7937364 memory=0 CPUtime=12.35 cores=0,2,4,6
/proc/2866/task/2872/stat : 2872 (java) S 2848 2848 31842 0 -1 1077944384 5 47802 0 0 0 0 1231 4 20 0 17 0 405108409 8127860736 37546 33554432000 4194304 4196468 140727227564512 140137240148080 140137860962946 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2873] ppid=2848 vsize=7937364 memory=0 CPUtime=12.35 cores=0,2,4,6
/proc/2866/task/2873/stat : 2873 (java) S 2848 2848 31842 0 -1 1077944384 13 47802 0 0 0 0 1231 4 20 0 17 0 405108409 8127860736 37546 33554432000 4194304 4196468 140727227564512 140136796906272 140137860962005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2874] ppid=2848 vsize=7937364 memory=0 CPUtime=12.35 cores=0,2,4,6
/proc/2866/task/2874/stat : 2874 (java) S 2848 2848 31842 0 -1 1077944384 1 47802 0 0 0 0 1231 4 20 0 17 0 405108409 8127860736 37546 33554432000 4194304 4196468 140727227564512 140136528471152 140137860962005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2875] ppid=2848 vsize=7937364 memory=0 CPUtime=12.35 cores=0,2,4,6
/proc/2866/task/2875/stat : 2875 (java) S 2848 2848 31842 0 -1 1077944384 3 47802 0 0 0 0 1231 4 20 0 17 0 405108412 8127860736 37546 33554432000 4194304 4196468 140727227564512 140136153962576 140137860970395 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2876] ppid=2848 vsize=7937364 memory=0 CPUtime=12.61 cores=0,2,4,6
/proc/2866/task/2876/stat : 2876 (java) R 2848 2848 31842 0 -1 4202560 1468 47802 0 0 26 0 1231 4 20 0 17 0 405108412 8127860736 37546 33554432000 4194304 4196468 140727227564512 140137239095920 140137860973146 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2877] ppid=2848 vsize=7937364 memory=0 CPUtime=12.62 cores=0,2,4,6
/proc/2866/task/2877/stat : 2877 (java) R 2848 2848 31842 0 -1 4202560 2143 47802 0 0 27 0 1231 4 20 0 17 0 405108412 8127860736 37546 33554432000 4194304 4196468 140727227564512 140137238028624 140137842499321 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2878] ppid=2848 vsize=7937364 memory=7517181123297437545 CPUtime=12.67 cores=0,2,4,6
/proc/2866/task/2878/stat : 2878 (java) R 2848 2848 31842 0 -1 4202560 1653 47802 0 0 32 0 1231 4 20 0 17 0 405108412 8127860736 37546 33554432000 4194304 4196468 140727227564512 140137236990832 140137860963734 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2879] ppid=2848 vsize=7937364 memory=0 CPUtime=12.35 cores=0,2,4,6
/proc/2866/task/2879/stat : 2879 (java) S 2848 2848 31842 0 -1 1077944384 3 47802 0 0 0 0 1231 4 20 0 17 0 405108412 8127860736 37546 33554432000 4194304 4196468 140727227564512 140135656057824 140137860962005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2880] ppid=2848 vsize=7937364 memory=-8486080722631693414 CPUtime=12.35 cores=0,2,4,6
/proc/2866/task/2880/stat : 2880 (java) S 2848 2848 31842 0 -1 1077944384 3 47802 0 0 0 0 1231 4 20 0 17 0 405108412 8127860736 37546 33554432000 4194304 4196468 140727227564512 140137235937712 140137860962946 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2882] ppid=2848 vsize=7937364 memory=4426639978525455914 CPUtime=12.35 cores=0,2,4,6
/proc/2866/task/2882/stat : 2882 (java) S 2848 2848 31842 0 -1 1077944384 32 47802 0 0 0 0 1231 4 20 0 17 0 405108477 8127860736 37546 33554432000 4194304 4196468 140727227564512 140137227903120 140137860962946 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
[pid=2866/tid=2886] ppid=2848 vsize=7937364 memory=3047711553219693942 CPUtime=12.35 cores=0,2,4,6
/proc/2866/task/2886/stat : 2886 (java) S 2848 2848 31842 0 -1 1077944384 32 47802 0 0 0 0 1231 4 20 0 17 0 405108480 8127860736 37546 33554432000 4194304 4196468 140727227564512 140135253402800 140137860962946 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15593472 140727227573244 140727227573402 140727227573402 140727227576271 0
Current children cumulated CPU time: 20.81 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 149428 KiB
Child status: 0
Real time (s): 17.0489
CPU time (s): 20.8806
CPU user time (s): 20.3667
CPU system time (s): 0.513991
CPU usage (%): 122.475
Max. virtual memory (cumulated for all children) (KiB): 15140432
Max. memory (cumulated for all children) (KiB): 1841040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.3667
system time used= 0.513991
maximum resident set size= 1850252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99388
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5844
involuntary context switches= 49
# summary of solver processes directly reported to runsolver:
# pid: 2848
# total CPU time (s): 20.8806
# total CPU user time (s): 20.3667
# total CPU system time (s): 0.513991
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.145678 second user time and 0.227176 second system time
The end