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-18505-serial-file.bin HOME/instance-4388227-1568296780.xml
0.66/0.52
0.66/0.52 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Thu Sep 12 15:59:02 CEST 2019
0.66/0.55 c PID: 18508
0.66/0.55 c IP: 172.20.3.151
0.66/0.55 c HOST: node151.alineos.net
0.66/0.55 c (0,0) Parsing Begin
4.12/1.62 c (1,1) Parsing End
4.12/1.63 c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 574
4.12/1.63 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.12/1.63 c (1,1) Constraint Name Generate Begin
4.12/1.66 c (1,1) Ctr:HOME/instance-4388227-1568296780.xml,Add:Le:Ne:Num:Or:Var
4.12/1.66 c (1,1) Constraint Name Generate End
4.12/1.66 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.12/1.66 c (1,1) CSP to CSPinCNF Begin
4.59/1.87 c (1,1) translated 280 (10%) constraints
4.83/1.92 c (1,1) translated 560 (20%) constraints
4.83/1.96 c (1,1) translated 840 (30%) constraints
4.83/1.99 c (1,1) translated 1120 (40%) constraints
5.18/2.02 c (1,1) translated 1400 (50%) constraints
5.18/2.04 c (1,1) translated 1680 (60%) constraints
5.18/2.06 c (1,1) translated 1960 (70%) constraints
5.18/2.09 c (1,1) translated 2240 (80%) constraints
5.49/2.11 c (1,1) translated 2520 (90%) constraints
5.49/2.13 c (1,1) translated 2800 (100%) constraints
5.49/2.13 c (1,1) ===========================================
5.49/2.16 c (1,1) Hybrid: #OE=200, #LE=0
5.49/2.16 c (1,1) Hybrid
5.49/2.16 c (1,1) ===========================================
5.49/2.19 c (1,1) translated 280 (10%) constraints
5.78/2.21 c (1,1) translated 560 (20%) constraints
5.78/2.22 c (1,1) translated 840 (30%) constraints
5.78/2.23 c (1,1) translated 1120 (40%) constraints
5.78/2.25 c (1,1) translated 1400 (50%) constraints
5.78/2.26 c (1,1) translated 1680 (60%) constraints
5.78/2.27 c (1,1) translated 1960 (70%) constraints
5.78/2.29 c (1,1) translated 2240 (80%) constraints
6.09/2.30 c (1,1) translated 2520 (90%) constraints
6.09/2.31 c (1,1) translated 2800 (100%) constraints
6.09/2.32 c (1,1) CSP to CSPinCNF End
6.09/2.32 c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 574
6.09/2.32 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.09/2.32 c (1,1) CSPinCNF Propagation Begin
6.09/2.38 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
6.09/2.38 c (1,1) CSPinCNF Propagation End
6.09/2.38 c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 2800 ctr, max domain size 574
6.09/2.38 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
6.09/2.39 c (1,1) Hybrid: #OE=200, #LE=0
6.09/2.39 c (1,1) Simplify CSPinCNF Begin
6.71/2.59 c (2,2) Simplify CSPinCNF End
7.00/2.60 c (2,2) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 574
7.00/2.60 c (2,2) Heap : 394 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.00/2.60 c (2,2) Calculate Precise Domain Begin
7.00/2.60 c (2,2) 0 values are removed by re-calculation
7.00/2.60 c (2,2) Calculate Precise Domain End
7.00/2.60 c (2,2) CSP: 200 int (0 aux), 5600 bool (5600 aux), 8400 ctr, max domain size 574
7.00/2.60 c (2,2) Heap : 394 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.00/2.60 c (2,2) CSPinCNF to SatSolver Begin
10.16/4.28 c (3,3) 840 (10 %) CSP clauses are encoded (0 SAT variables, 375502 SAT clauses)
11.40/5.41 c (4,4) 1680 (20 %) CSP clauses are encoded (0 SAT variables, 641236 SAT clauses)
12.67/6.50 c (5,5) 2520 (30 %) CSP clauses are encoded (0 SAT variables, 903034 SAT clauses)
13.59/7.49 c (6,6) 3360 (40 %) CSP clauses are encoded (0 SAT variables, 1167665 SAT clauses)
14.59/8.50 c (7,7) 4200 (50 %) CSP clauses are encoded (0 SAT variables, 1434400 SAT clauses)
15.67/9.50 c (8,8) 5040 (60 %) CSP clauses are encoded (0 SAT variables, 1693743 SAT clauses)
16.76/10.53 c (10,9) 5880 (70 %) CSP clauses are encoded (0 SAT variables, 1956726 SAT clauses)
17.81/11.55 c (11,10) 6720 (80 %) CSP clauses are encoded (0 SAT variables, 2227366 SAT clauses)
18.85/12.58 c (12,11) 7560 (90 %) CSP clauses are encoded (0 SAT variables, 2498642 SAT clauses)
20.08/13.62 c (13,12) 8400 (100 %) CSP clauses are encoded (0 SAT variables, 2772894 SAT clauses)
20.08/13.62 c (13,12) CSPinCNF to SatSolver End
20.08/13.62 c (13,12) Heap : 1625 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
20.08/13.62 c (13,12) 110232 bool, 2773392 clause
20.08/13.62 c (13,12) Export Begin
20.26/13.71 c (13,13) Export to HOME/scop-18505-serial-file.bin
20.26/13.71 c (13,13) Export End
20.26/13.71 c (13,13) Export File Size: 0.03 MB
20.26/13.71 c (13,13) 1,1,1,1,2,2,13,STOP-AFTER(DIMACS)
20.26/13.72 c END-Prog: Thu Sep 12 15:59:15 CEST 2019
20.26/13.74 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-18505-serial-file.bin
20.91/14.20 c (0,0) Read Serial File Begin
20.91/14.20 c (0,0) HOME/scop-18505-serial-file.bin
21.22/14.43 c (0,0) Read Serial File End
21.22/14.43
21.22/14.44 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
21.22/14.44 (Solving Process)
21.22/14.44
21.22/14.46 c BEGIN-Prog: Thu Sep 12 15:59:15 CEST 2019
21.22/14.46 c PID: 18524
21.22/14.46 c IP: 172.20.3.151
21.22/14.46 c HOST: node151.alineos.net
21.22/14.46 c (0,0) SatSolver.solve Begin
21.22/14.46 c (0,0) HOME/cryptominisat5 HOME/instance-4388227-1568296780.xml-scop-18508.cnf
21.22/14.49 c (0,0) c Outputting solution to console
21.22/14.49 c (0,0) c CryptoMiniSat version 5.6.8
21.22/14.49 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
21.22/14.49 c (0,0) c CMS SHA revision GIT-notfound
21.22/14.49 c (0,0) c CMS is MIT licensed
21.22/14.49 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
21.22/14.49 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
21.22/14.49 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388227-1568296780.xml-scop-18508.cnf
21.22/14.49 c (0,0) c Reading file 'HOME/instance-4388227-1568296780.xml-scop-18508.cnf'
21.22/14.49 c (0,0) c -- header says num vars: 110232
21.22/14.49 c (0,0) c -- header says num clauses: 2773392
22.47/15.47 c (1,0) c -- clauses added: 2773392
22.47/15.47 c (1,0) c -- xor clauses added: 0
22.47/15.47 c (1,0) c -- vars added 110232
22.47/15.47 c (1,0) c Parsing time: 0.89 s
22.68/15.69 c (1,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
22.78/15.70 c (1,0) c [distill] long cls tried: 12/11 cl-short:12 lit-r:5 T: 0.01 T-out: N T-r: 99.90%
23.67/16.60 c (2,0) c [distill] long cls tried: 440/436 cl-short:440 lit-r:128 T: 0.16 T-out: N T-r: 97.42%
24.77/17.71 c (3,0) c [distill] long cls tried: 544/973 cl-short:544 lit-r:215 T: 0.21 T-out: N T-r: 96.69%
24.97/18.01 c (3,0) c glue 1 25 8193 110232 2654K 118K 3.00 2.96 1138 3836 3197 26 9.72 9.69
27.18/20.18 c (6,0) c [distill] long cls tried: 2741/3700 cl-short:2741 lit-r:2054 T: 1.26 T-out: N T-r: 80.65%
28.18/21.17 c (7,0) c geom 1 44 16386 110232 2654K 118K 3.00 2.96 4170 7458 4722 40 9.94 9.92
28.97/21.94 c (7,0) c [distill] long cls tried: 674/4365 cl-short:674 lit-r:571 T: 0.37 T-out: N T-r: 94.41%
30.57/23.57 c (9,0) c glue 1 62 24K 110232 2654K 118K 3.00 2.96 6936 9036 8561 50 10.36 10.34
32.67/25.60 c (11,0) c [distill] long cls tried: 2646/7007 cl-short:2646 lit-r:2632 T: 1.66 T-out: N T-r: 76.01%
34.68/27.64 c (13,0) c glue 1 78 32K 110232 2654K 118K 3.00 2.96 9864 12913 9945 54 10.67 10.66
37.58/30.50 c (16,0) c [distill] long cls tried: 2934/9936 cl-short:2934 lit-r:4297 T: 2.40 T-out: N T-r: 67.26%
39.79/32.78 c (18,0) c glue 1 105 40K 110232 2654K 118K 3.00 2.96 12297 11241 17371 60 10.88 10.86
40.69/33.67 c (19,0) c ------- FINAL TOTAL SEARCH STATS ---------
40.69/33.67 c (19,0) c UIP search time : 18.12 (95.28 % time)
40.69/33.67 c (19,0) c restarts : 107 (404.81 confls per restart)
40.69/33.67 c (19,0) c blocked restarts : 253 (2.36 per normal restart)
40.69/33.67 c (19,0) c time : 18.12
40.69/33.67 c (19,0) c decisions : 54517 (0.00 % random)
40.69/33.67 c (19,0) c propagations : 75264185
40.69/33.67 c (19,0) c decisions/conflicts : 1.26
40.69/33.67 c (19,0) c conflicts : 43315 (2390.04 / sec)
40.69/33.67 c (19,0) c conf lits non-minim : 687781 (15.88 lit/confl)
40.69/33.67 c (19,0) c conf lits final : 11.13
40.69/33.67 c (19,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
40.69/33.67 c (19,0) c red which0 : 3705 (8.55 % of confl)
40.69/33.67 c (19,0) c props/decision : 0.00
40.69/33.67 c (19,0) c props/conflict : 0.00
40.69/33.67 c (19,0) c 0-depth assigns : 4760 (4.32 % vars)
40.69/33.67 c (19,0) c 0-depth assigns by CNF : 0 (0.00 % vars)
40.69/33.67 c (19,0) c reduceDB time : 0.00 (0.02 % time)
40.69/33.67 c (19,0) c OccSimplifier time : 0.00 (0.00 % time)
40.69/33.67 c (19,0) c [occur] 0.00 is overhead
40.69/33.67 c (19,0) c [occur] link-in T: 0.00 cleanup T: 0.00
40.69/33.67 c (19,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
40.69/33.67 c (19,0) c SCC time : 0.00 (0.00 % time)
40.69/33.67 c (19,0) c [scc] new: 0 BP 0M T: 0.00
40.69/33.67 c (19,0) c vrep replace time : 0.00 (0.00 % time)
40.69/33.68 c (19,0) c vrep tree roots : 0
40.69/33.68 c (19,0) c vrep trees' crown : 0 (0.00 leafs/tree)
40.69/33.68 c (19,0) c distill time : 6.07 (31.92 % time)
40.69/33.68 c (19,0) c strength cache-irred time: 0.00 (0.00 % time)
40.69/33.68 c (19,0) c strength cache-red time : 0.00 (0.00 % time)
40.69/33.68 c (19,0) c Conflicts in UIP : 43315 (2277.22 confl/time_this_thread)
40.69/33.68 c (19,0) c Mem used : 299.13 MB
40.69/33.68 c (19,0) c Total time (this thread) : 19.02
40.69/33.68 c (19,0) s UNSATISFIABLE
40.80/33.72 c (19,0) SatSolver.solve End
40.80/33.72 c (19,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
40.80/33.72 c (19,0) Show results Begin
40.80/33.72 s UNSATISFIABLE
40.80/33.72 c (19,0) Show results End
40.80/33.72 c (19,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
40.80/33.73 c (19,0) 19,19,STOP-AFTER(ALL)
40.80/33.73 c END-Prog: Thu Sep 12 15:59:35 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 (14558 MiB free)
memory of node 1: 16384 MiB (15540 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388227-1568296780/watcher-4388227-1568296780 -o /tmp/evaluation-result-4388227-1568296780/solver-4388227-1568296780 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568286070-13984 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388227-1568296780.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=18505, runsolver pid=18502
[startup+0.100063 s]*
/proc/loadavg: 2.38 2.24 2.17 4/234 18522
/proc/meminfo: memFree=30760120/32770624 swapFree=66932988/67108860
[pid=18505] ppid=18502 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18505/stat : 18505 (scop.sh) S 18502 18505 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405949463 115843072 349 33554432000 4194304 5098028 140726210632320 140726210629576 140085720535676 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39698432 140726210634595 140726210634864 140726210634864 140726210637773 0
/proc/18505/statm: 28282 349 296 221 0 87 0
[pid=18508] ppid=18505 vsize=15012696 memory=74304 CPUtime=0.11 cores=1,3,5,7
/proc/18508/stat : 18508 (java) S 18505 18505 12870 0 -1 1077944320 6826 0 0 0 10 1 0 0 20 0 15 0 405949463 15373000704 18576 33554432000 4194304 4196468 140727709249872 140727709232416 140436304965367 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
/proc/18508/statm: 3753174 18576 2924 1 0 3715579 0
[pid=18508/tid=18509] ppid=18505 vsize=15012696 memory=-6005124337042243521 CPUtime=0.09 cores=1,3,5,7
/proc/18508/task/18509/stat : 18509 (java) R 18505 18505 12870 0 -1 4202560 4640 0 0 0 8 1 0 0 20 0 15 0 405949463 15373000704 18576 33554432000 4194304 4196468 140727709249872 140436276760528 140436297202494 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18510] ppid=18505 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18510/stat : 18510 (java) S 18505 18505 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405949465 15373000704 18576 33554432000 4194304 4196468 140727709249872 140436309207696 140436304975573 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18511] ppid=18505 vsize=15012696 memory=140258296174208 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18511/stat : 18511 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405949465 15373000704 18576 33554432000 4194304 4196468 140727709249872 140436107983376 140436304975573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18512] ppid=18505 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18512/stat : 18512 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405949465 15373000704 18576 33554432000 4194304 4196468 140727709249872 140436106930576 140436304975573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18513] ppid=18505 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18513/stat : 18513 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405949465 15373000704 18576 33554432000 4194304 4196468 140727709249872 140436105877776 140436304975573 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18514] ppid=18505 vsize=15012696 memory=140258296174208 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18514/stat : 18514 (java) S 18505 18505 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405949466 15373000704 18576 33554432000 4194304 4196468 140727709249872 140435275062128 140436304976514 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18515] ppid=18505 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18515/stat : 18515 (java) S 18505 18505 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405949467 15373000704 18576 33554432000 4194304 4196468 140727709249872 140434894480928 140436304975573 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18516] ppid=18505 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18516/stat : 18516 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405949467 15373000704 18576 33554432000 4194304 4196468 140727709249872 140434626045296 140436304975573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18517] ppid=18505 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18517/stat : 18517 (java) S 18505 18505 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405949469 15373000704 18576 33554432000 4194304 4196468 140727709249872 140434251536720 140436304983963 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18518] ppid=18505 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18518/stat : 18518 (java) S 18505 18505 12870 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 405949469 15373000704 18576 33554432000 4194304 4196468 140727709249872 140435274008944 140436304976514 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18519] ppid=18505 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18519/stat : 18519 (java) R 18505 18505 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405949469 15373000704 18576 33554432000 4194304 4196468 140727709249872 140435272956144 140436304977302 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18520] ppid=18505 vsize=15012696 memory=140258296174208 CPUtime=0.01 cores=1,3,5,7
/proc/18508/task/18520/stat : 18520 (java) S 18505 18505 12870 0 -1 1077944384 440 0 0 0 1 0 0 0 20 0 15 0 405949469 15373000704 18576 33554432000 4194304 4196468 140727709249872 140435271903344 140436304976514 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18521] ppid=18505 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18521/stat : 18521 (java) S 18505 18505 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405949470 15373000704 18576 33554432000 4194304 4196468 140727709249872 140433753630944 140436304975573 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18522] ppid=18505 vsize=15012696 memory=140258296174208 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18522/stat : 18522 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405949470 15373000704 18576 33554432000 4194304 4196468 140727709249872 140435270851760 140436304976514 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75700 KiB
[startup+0.210897 s]*
/proc/loadavg: 2.38 2.24 2.17 3/234 18522
/proc/meminfo: memFree=30740620/32770624 swapFree=66932988/67108860
[pid=18505] ppid=18502 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18505/stat : 18505 (scop.sh) S 18502 18505 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405949463 115843072 349 33554432000 4194304 5098028 140726210632320 140726210629576 140085720535676 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39698432 140726210634595 140726210634864 140726210634864 140726210637773 0
/proc/18505/statm: 28282 349 296 221 0 87 0
[pid=18508] ppid=18505 vsize=15012696 memory=89112 CPUtime=0.25 cores=1,3,5,7
/proc/18508/stat : 18508 (java) S 18505 18505 12870 0 -1 1077944320 11863 0 0 0 22 3 0 0 20 0 15 0 405949463 15373000704 22278 33554432000 4194304 4196468 140727709249872 140727709232416 140436304965367 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
/proc/18508/statm: 3753174 22278 2927 1 0 3715579 0
[pid=18508/tid=18509] ppid=18505 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/18508/task/18509/stat : 18509 (java) R 18505 18505 12870 0 -1 4202560 9614 0 0 0 18 2 0 0 20 0 15 0 405949463 15373000704 22278 33554432000 4194304 4196468 140727709249872 140436276780608 140436304987293 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18510] ppid=18505 vsize=15012696 memory=343 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18510/stat : 18510 (java) S 18505 18505 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405949465 15373000704 22278 33554432000 4194304 4196468 140727709249872 140436309207696 140436304975573 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18511] ppid=18505 vsize=15012696 memory=288370634447885952 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18511/stat : 18511 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405949465 15373000704 22278 33554432000 4194304 4196468 140727709249872 140436107983376 140436304975573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18512] ppid=18505 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18512/stat : 18512 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405949465 15373000704 22278 33554432000 4194304 4196468 140727709249872 140436106930576 140436304975573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18513] ppid=18505 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18513/stat : 18513 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405949465 15373000704 22278 33554432000 4194304 4196468 140727709249872 140436105877776 140436304975573 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18514] ppid=18505 vsize=15012696 memory=140258296174208 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18514/stat : 18514 (java) S 18505 18505 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405949466 15373000704 22278 33554432000 4194304 4196468 140727709249872 140435275062128 140436304976514 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18515] ppid=18505 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18515/stat : 18515 (java) S 18505 18505 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405949467 15373000704 22278 33554432000 4194304 4196468 140727709249872 140434894480928 140436304975573 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18516] ppid=18505 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18516/stat : 18516 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405949467 15373000704 22278 33554432000 4194304 4196468 140727709249872 140434626045296 140436304975573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18517] ppid=18505 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18517/stat : 18517 (java) S 18505 18505 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405949469 15373000704 22278 33554432000 4194304 4196468 140727709249872 140434251536720 140436304983963 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18518] ppid=18505 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18518/stat : 18518 (java) S 18505 18505 12870 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 15 0 405949469 15373000704 22278 33554432000 4194304 4196468 140727709249872 140435274008944 140436304976514 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18519] ppid=18505 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18519/stat : 18519 (java) S 18505 18505 12870 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 405949469 15373000704 22278 33554432000 4194304 4196468 140727709249872 140435272956144 140436304976514 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18520] ppid=18505 vsize=15012696 memory=140258296174208 CPUtime=0.03 cores=1,3,5,7
/proc/18508/task/18520/stat : 18520 (java) S 18505 18505 12870 0 -1 1077944384 448 0 0 0 3 0 0 0 20 0 15 0 405949469 15373000704 22278 33554432000 4194304 4196468 140727709249872 140435271903344 140436304976514 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18521] ppid=18505 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18521/stat : 18521 (java) S 18505 18505 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405949470 15373000704 22278 33554432000 4194304 4196468 140727709249872 140433753630944 140436304975573 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18522] ppid=18505 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18522/stat : 18522 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405949470 15373000704 22278 33554432000 4194304 4196468 140727709249872 140435270851760 140436304976514 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90508 KiB
[startup+0.311323 s]*
/proc/loadavg: 2.38 2.24 2.17 4/234 18522
/proc/meminfo: memFree=30738844/32770624 swapFree=66932988/67108860
[pid=18505] ppid=18502 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18505/stat : 18505 (scop.sh) S 18502 18505 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405949463 115843072 349 33554432000 4194304 5098028 140726210632320 140726210629576 140085720535676 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39698432 140726210634595 140726210634864 140726210634864 140726210637773 0
/proc/18505/statm: 28282 349 296 221 0 87 0
[pid=18508] ppid=18505 vsize=15012696 memory=92720 CPUtime=0.43 cores=1,3,5,7
/proc/18508/stat : 18508 (java) S 18505 18505 12870 0 -1 1077944320 12705 0 0 0 40 3 0 0 20 0 15 0 405949463 15373000704 23180 33554432000 4194304 4196468 140727709249872 140727709232416 140436304965367 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
/proc/18508/statm: 3753174 23180 3036 1 0 3715579 0
[pid=18508/tid=18509] ppid=18505 vsize=15012696 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/18508/task/18509/stat : 18509 (java) R 18505 18505 12870 0 -1 4202560 10289 0 0 0 27 2 0 0 20 0 15 0 405949463 15373000704 23180 33554432000 4194304 4196468 140727709249872 140436276770480 140436289045854 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18510] ppid=18505 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18510/stat : 18510 (java) S 18505 18505 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405949465 15373000704 23180 33554432000 4194304 4196468 140727709249872 140436309207696 140436304975573 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18511] ppid=18505 vsize=15012696 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18511/stat : 18511 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405949465 15373000704 23180 33554432000 4194304 4196468 140727709249872 140436107983376 140436304975573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18512] ppid=18505 vsize=15012696 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18512/stat : 18512 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405949465 15373000704 23180 33554432000 4194304 4196468 140727709249872 140436106930576 140436304975573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18513] ppid=18505 vsize=15012696 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18513/stat : 18513 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405949465 15373000704 23180 33554432000 4194304 4196468 140727709249872 140436105877776 140436304975573 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18514] ppid=18505 vsize=15012696 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18514/stat : 18514 (java) S 18505 18505 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405949466 15373000704 23180 33554432000 4194304 4196468 140727709249872 140435275062128 140436304976514 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18515] ppid=18505 vsize=15012696 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18515/stat : 18515 (java) S 18505 18505 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405949467 15373000704 23180 33554432000 4194304 4196468 140727709249872 140434894480928 140436304975573 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18516] ppid=18505 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18516/stat : 18516 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405949467 15373000704 23180 33554432000 4194304 4196468 140727709249872 140434626045296 140436304975573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18517] ppid=18505 vsize=15012696 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18517/stat : 18517 (java) S 18505 18505 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405949469 15373000704 23180 33554432000 4194304 4196468 140727709249872 140434251536720 140436304983963 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18518] ppid=18505 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18508/task/18518/stat : 18518 (java) S 18505 18505 12870 0 -1 1077944384 527 0 0 0 2 0 0 0 20 0 15 0 405949469 15373000704 23180 33554432000 4194304 4196468 140727709249872 140435274008944 140436304976514 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18519] ppid=18505 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/18508/task/18519/stat : 18519 (java) S 18505 18505 12870 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 15 0 405949469 15373000704 23180 33554432000 4194304 4196468 140727709249872 140435272956144 140436304976514 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18520] ppid=18505 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18508/task/18520/stat : 18520 (java) S 18505 18505 12870 0 -1 1077944384 467 0 0 0 7 0 0 0 20 0 15 0 405949469 15373000704 23180 33554432000 4194304 4196468 140727709249872 140435271903344 140436304976514 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18521] ppid=18505 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18521/stat : 18521 (java) S 18505 18505 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405949470 15373000704 23180 33554432000 4194304 4196468 140727709249872 140433753630944 140436304975573 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18522] ppid=18505 vsize=15012696 memory=3833468387996016689 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18522/stat : 18522 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405949470 15373000704 23180 33554432000 4194304 4196468 140727709249872 140435270851760 140436304976514 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 94116 KiB
[startup+0.701327 s]
/proc/loadavg: 2.38 2.24 2.17 3/234 18522
/proc/meminfo: memFree=30717512/32770624 swapFree=66932988/67108860
[pid=18505] ppid=18502 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18505/stat : 18505 (scop.sh) S 18502 18505 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405949463 115843072 349 33554432000 4194304 5098028 140726210632320 140726210629576 140085720535676 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39698432 140726210634595 140726210634864 140726210634864 140726210637773 0
/proc/18505/statm: 28282 349 296 221 0 87 0
[pid=18508] ppid=18505 vsize=15018968 memory=131476 CPUtime=1.04 cores=1,3,5,7
/proc/18508/stat : 18508 (java) S 18505 18505 12870 0 -1 1077944320 19574 0 0 0 98 6 0 0 20 0 15 0 405949463 15379423232 32869 33554432000 4194304 4196468 140727709249872 140727709232416 140436304965367 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
/proc/18508/statm: 3754742 32869 3189 1 0 3716091 0
[pid=18508/tid=18509] ppid=18505 vsize=15018968 memory=2372 CPUtime=0.68 cores=1,3,5,7
/proc/18508/task/18509/stat : 18509 (java) R 18505 18505 12870 0 -1 4202560 16685 0 0 0 63 5 0 0 20 0 15 0 405949463 15379423232 32869 33554432000 4194304 4196468 140727709249872 140436276789264 140436127354640 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18510] ppid=18505 vsize=15018968 memory=116 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18510/stat : 18510 (java) S 18505 18505 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405949465 15379423232 32869 33554432000 4194304 4196468 140727709249872 140436309207696 140436304975573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18511] ppid=18505 vsize=15018968 memory=2958609 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18511/stat : 18511 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405949465 15379423232 32869 33554432000 4194304 4196468 140727709249872 140436107983376 140436304975573 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18512] ppid=18505 vsize=15018968 memory=2965990 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18512/stat : 18512 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405949465 15379423232 32869 33554432000 4194304 4196468 140727709249872 140436106930576 140436304975573 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18513] ppid=18505 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18513/stat : 18513 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405949465 15379423232 32869 33554432000 4194304 4196468 140727709249872 140436105877776 140436304975573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18514] ppid=18505 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18514/stat : 18514 (java) S 18505 18505 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405949466 15379423232 32869 33554432000 4194304 4196468 140727709249872 140435275062128 140436304976514 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18515] ppid=18505 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18515/stat : 18515 (java) S 18505 18505 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405949467 15379423232 32869 33554432000 4194304 4196468 140727709249872 140434894480928 140436304975573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18516] ppid=18505 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18516/stat : 18516 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405949467 15379423232 32869 33554432000 4194304 4196468 140727709249872 140434626045296 140436304975573 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18517] ppid=18505 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18517/stat : 18517 (java) S 18505 18505 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405949469 15379423232 32869 33554432000 4194304 4196468 140727709249872 140434251536720 140436304983963 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18518] ppid=18505 vsize=15018968 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/18508/task/18518/stat : 18518 (java) R 18505 18505 12870 0 -1 4202560 755 0 0 0 9 0 0 0 20 0 15 0 405949469 15379423232 32869 33554432000 4194304 4196468 140727709249872 140435274008944 140436286484768 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18519] ppid=18505 vsize=15018968 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18508/task/18519/stat : 18519 (java) R 18505 18505 12870 0 -1 4202560 173 0 0 0 7 0 0 0 20 0 15 0 405949469 15379423232 32869 33554432000 4194304 4196468 140727709249872 140435272946256 140436289767901 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18520] ppid=18505 vsize=15018968 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/18508/task/18520/stat : 18520 (java) R 18505 18505 12870 0 -1 4202560 629 0 0 0 17 0 0 0 20 0 15 0 405949469 15379423232 32869 33554432000 4194304 4196468 140727709249872 140435271898384 140436284680148 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18521] ppid=18505 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18521/stat : 18521 (java) S 18505 18505 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405949470 15379423232 32869 33554432000 4194304 4196468 140727709249872 140433753630944 140436304975573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
[pid=18508/tid=18522] ppid=18505 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18522/stat : 18522 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405949470 15379423232 32869 33554432000 4194304 4196468 140727709249872 140435270851760 140436304976514 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140727709258537 140727709258906 140727709258906 140727709261775 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 132872 KiB
[startup+1.5009 s]
/proc/loadavg: 2.38 2.24 2.17 5/234 18522
/proc/meminfo: memFree=30675448/32770624 swapFree=66932988/67108860
[pid=18505] ppid=18502 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/18505/stat : 18505 (scop.sh) S 18502 18505 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405949463 115843072 349 33554432000 4194304 5098028 140726210632320 140726210629576 140085720535676 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39698432 140726210634595 140726210634864 140726210634864 140726210637773 0
/proc/18505/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 39.89 s
Current children cumulated vsize: 8526716 KiB
Current children cumulated memory: 426616 KiB
[startup+33.201 s]
/proc/loadavg: 2.59 2.31 2.20 3/234 18623
/proc/meminfo: memFree=27809524/32770624 swapFree=66932988/67108860
[pid=18505] ppid=18502 vsize=113128 memory=1476 CPUtime=20.32 cores=1,3,5,7
/proc/18505/stat : 18505 (scop.sh) S 18502 18505 12870 0 -1 4202496 583 30995 0 0 0 0 1961 71 20 0 1 0 405949463 115843072 369 33554432000 4194304 5098028 140726210632320 140726210629064 140085720535676 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39698432 140726210634595 140726210634864 140726210634864 140726210637773 0
/proc/18505/statm: 28282 369 311 221 0 87 0
[pid=18524] ppid=18505 vsize=8068440 memory=119100 CPUtime=1.27 cores=1,3,5,7
/proc/18524/stat : 18524 (java) S 18505 18505 12870 0 -1 1077944320 20605 0 0 0 119 8 0 0 20 0 19 0 405950837 8262082560 29775 33554432000 4194304 4196468 140736470801552 140736470784096 140084476665591 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
/proc/18524/statm: 2017110 29775 3213 1 0 1978454 0
[pid=18539] ppid=18524 vsize=345296 memory=306060 CPUtime=18.7 cores=1,3,5,7
/proc/18539/stat : 18539 (cryptominisat5) R 18524 18505 12870 0 -1 4202496 140395 0 0 0 1854 16 0 0 20 0 1 0 405950911 353583104 76515 33554432000 4194304 4451008 140731339170640 140731339165192 139792843985614 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 27353088 140731339174844 140731339174976 140731339174976 140731339177926 0
/proc/18539/statm: 86324 76515 643 63 0 80051 0
[pid=18524/tid=18525] ppid=18505 vsize=8068440 memory=8514726395714825349 CPUtime=0.76 cores=1,3,5,7
/proc/18524/task/18525/stat : 18525 (java) S 18505 18505 12870 0 -1 1077944384 17192 0 0 0 70 6 0 0 20 0 19 0 405950838 8262082560 29775 33554432000 4194304 4196468 140736470801552 140084448505760 140084476675797 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18526] ppid=18505 vsize=8068440 memory=4713745541279610410 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18526/stat : 18526 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405950839 8262082560 29775 33554432000 4194304 4196468 140736470801552 140084480907920 140084476675797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18527] ppid=18505 vsize=8068440 memory=8514701219730522529 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18527/stat : 18527 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405950839 8262082560 29775 33554432000 4194304 4196468 140736470801552 140084281076240 140084476675797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18528] ppid=18505 vsize=8068440 memory=-8253362762722141311 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18528/stat : 18528 (java) S 18505 18505 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405950839 8262082560 29775 33554432000 4194304 4196468 140736470801552 140084280023440 140084476675797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18529] ppid=18505 vsize=8068440 memory=4427205132082312746 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18529/stat : 18529 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405950839 8262082560 29775 33554432000 4194304 4196468 140736470801552 140084278970640 140084476675797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18530] ppid=18505 vsize=8068440 memory=-8486080722631693414 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18530/stat : 18530 (java) S 18505 18505 12870 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405950841 8262082560 29775 33554432000 4194304 4196468 140736470801552 140083923073904 140084476676738 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18531] ppid=18505 vsize=8068440 memory=-7023579799431922829 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18531/stat : 18531 (java) S 18505 18505 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405950841 8262082560 29775 33554432000 4194304 4196468 140736470801552 140083311142432 140084476675797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18532] ppid=18505 vsize=8068440 memory=-8412652152092201843 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18532/stat : 18532 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405950841 8262082560 29775 33554432000 4194304 4196468 140736470801552 140083042706800 140084476675797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18533] ppid=18505 vsize=8068440 memory=4426639978525455914 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18533/stat : 18533 (java) S 18505 18505 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405950844 8262082560 29775 33554432000 4194304 4196468 140736470801552 140082668198224 140084476684187 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18534] ppid=18505 vsize=8068440 memory=3047711553219693942 CPUtime=0.11 cores=1,3,5,7
/proc/18524/task/18534/stat : 18534 (java) S 18505 18505 12870 0 -1 1077944384 735 0 0 0 11 0 0 0 20 0 19 0 405950844 8262082560 29775 33554432000 4194304 4196468 140736470801552 140083922020720 140084476676738 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18535] ppid=18505 vsize=8068440 memory=6298405473685105002 CPUtime=0.13 cores=1,3,5,7
/proc/18524/task/18535/stat : 18535 (java) S 18505 18505 12870 0 -1 1077944384 652 0 0 0 13 0 0 0 20 0 19 0 405950844 8262082560 29775 33554432000 4194304 4196468 140736470801552 140083920967920 140084476676738 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18536] ppid=18505 vsize=8068440 memory=305756 CPUtime=0.21 cores=1,3,5,7
/proc/18524/task/18536/stat : 18536 (java) S 18505 18505 12870 0 -1 1077944384 611 0 0 0 21 0 0 0 20 0 19 0 405950844 8262082560 29775 33554432000 4194304 4196468 140736470801552 140083919915120 140084476676738 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18537] ppid=18505 vsize=8068440 memory=5932481419692764779 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18537/stat : 18537 (java) S 18505 18505 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405950844 8262082560 29775 33554432000 4194304 4196468 140736470801552 140082170292448 140084476675797 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18538] ppid=18505 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18538/stat : 18538 (java) S 18505 18505 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405950844 8262082560 29775 33554432000 4194304 4196468 140736470801552 140083918863536 140084476676738 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18540] ppid=18505 vsize=8068440 memory=119100 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18540/stat : 18540 (java) S 18505 18505 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405950911 8262082560 29775 33554432000 4194304 4196468 140736470801552 140083843688128 140084476690201 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18542] ppid=18505 vsize=8068440 memory=305504 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18542/stat : 18542 (java) S 18505 18505 12870 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 405950912 8262082560 29775 33554432000 4194304 4196468 140736470801552 140081633406736 140084476687517 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18543] ppid=18505 vsize=8068440 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18543/stat : 18543 (java) S 18505 18505 12870 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405950912 8262082560 29775 33554432000 4194304 4196468 140736470801552 140081767628432 140084476687517 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18544] ppid=18505 vsize=8068440 memory=6944613755328037012 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18544/stat : 18544 (java) S 18505 18505 12870 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405950914 8262082560 29775 33554432000 4194304 4196468 140736470801552 140081364982960 140084476675797 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
Current children cumulated CPU time: 40.29 s
Current children cumulated vsize: 8526864 KiB
Current children cumulated memory: 426636 KiB
[startup+33.601 s]
/proc/loadavg: 2.59 2.31 2.20 3/234 18623
/proc/meminfo: memFree=27809524/32770624 swapFree=66932988/67108860
[pid=18505] ppid=18502 vsize=113128 memory=1476 CPUtime=20.32 cores=1,3,5,7
/proc/18505/stat : 18505 (scop.sh) S 18502 18505 12870 0 -1 4202496 583 30995 0 0 0 0 1961 71 20 0 1 0 405949463 115843072 369 33554432000 4194304 5098028 140726210632320 140726210629064 140085720535676 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39698432 140726210634595 140726210634864 140726210634864 140726210637773 0
/proc/18505/statm: 28282 369 311 221 0 87 0
[pid=18524] ppid=18505 vsize=8068440 memory=119100 CPUtime=1.27 cores=1,3,5,7
/proc/18524/stat : 18524 (java) S 18505 18505 12870 0 -1 1077944320 20605 0 0 0 119 8 0 0 20 0 19 0 405950837 8262082560 29775 33554432000 4194304 4196468 140736470801552 140736470784096 140084476665591 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
/proc/18524/statm: 2017110 29775 3213 1 0 1978454 0
[pid=18539] ppid=18524 vsize=345296 memory=306196 CPUtime=19.1 cores=1,3,5,7
/proc/18539/stat : 18539 (cryptominisat5) R 18524 18505 12870 0 -1 4202496 140589 0 0 0 1894 16 0 0 20 0 1 0 405950911 353583104 76549 33554432000 4194304 4451008 140731339170640 140731339166568 139792843985798 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 27353088 140731339174844 140731339174976 140731339174976 140731339177926 0
/proc/18539/statm: 86324 76549 644 63 0 80051 0
[pid=18524/tid=18525] ppid=18505 vsize=8068440 memory=924 CPUtime=0.76 cores=1,3,5,7
/proc/18524/task/18525/stat : 18525 (java) S 18505 18505 12870 0 -1 1077944384 17192 0 0 0 70 6 0 0 20 0 19 0 405950838 8262082560 29775 33554432000 4194304 4196468 140736470801552 140084448505760 140084476675797 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18526] ppid=18505 vsize=8068440 memory=1420 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18526/stat : 18526 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405950839 8262082560 29775 33554432000 4194304 4196468 140736470801552 140084480907920 140084476675797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18527] ppid=18505 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18527/stat : 18527 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405950839 8262082560 29775 33554432000 4194304 4196468 140736470801552 140084281076240 140084476675797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18528] ppid=18505 vsize=8068440 memory=119100 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18528/stat : 18528 (java) S 18505 18505 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405950839 8262082560 29775 33554432000 4194304 4196468 140736470801552 140084280023440 140084476675797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18529] ppid=18505 vsize=8068440 memory=305840 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18529/stat : 18529 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405950839 8262082560 29775 33554432000 4194304 4196468 140736470801552 140084278970640 140084476675797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18530] ppid=18505 vsize=8068440 memory=804 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18530/stat : 18530 (java) S 18505 18505 12870 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405950841 8262082560 29775 33554432000 4194304 4196468 140736470801552 140083923073904 140084476676738 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18531] ppid=18505 vsize=8068440 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18531/stat : 18531 (java) S 18505 18505 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405950841 8262082560 29775 33554432000 4194304 4196468 140736470801552 140083311142432 140084476675797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18532] ppid=18505 vsize=8068440 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18532/stat : 18532 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405950841 8262082560 29775 33554432000 4194304 4196468 140736470801552 140083042706800 140084476675797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18533] ppid=18505 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18533/stat : 18533 (java) S 18505 18505 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405950844 8262082560 29775 33554432000 4194304 4196468 140736470801552 140082668198224 140084476684187 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18534] ppid=18505 vsize=8068440 memory=119100 CPUtime=0.11 cores=1,3,5,7
/proc/18524/task/18534/stat : 18534 (java) S 18505 18505 12870 0 -1 1077944384 735 0 0 0 11 0 0 0 20 0 19 0 405950844 8262082560 29775 33554432000 4194304 4196468 140736470801552 140083922020720 140084476676738 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18535] ppid=18505 vsize=8068440 memory=305180 CPUtime=0.13 cores=1,3,5,7
/proc/18524/task/18535/stat : 18535 (java) S 18505 18505 12870 0 -1 1077944384 652 0 0 0 13 0 0 0 20 0 19 0 405950844 8262082560 29775 33554432000 4194304 4196468 140736470801552 140083920967920 140084476676738 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18536] ppid=18505 vsize=8068440 memory=6944656592452807320 CPUtime=0.21 cores=1,3,5,7
/proc/18524/task/18536/stat : 18536 (java) S 18505 18505 12870 0 -1 1077944384 611 0 0 0 21 0 0 0 20 0 19 0 405950844 8262082560 29775 33554432000 4194304 4196468 140736470801552 140083919915120 140084476676738 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18537] ppid=18505 vsize=8068440 memory=7682475212697334586 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18537/stat : 18537 (java) S 18505 18505 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405950844 8262082560 29775 33554432000 4194304 4196468 140736470801552 140082170292448 140084476675797 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18538] ppid=18505 vsize=8068440 memory=-7966001967256141664 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18538/stat : 18538 (java) S 18505 18505 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405950844 8262082560 29775 33554432000 4194304 4196468 140736470801552 140083918863536 140084476676738 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18540] ppid=18505 vsize=8068440 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18540/stat : 18540 (java) S 18505 18505 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405950911 8262082560 29775 33554432000 4194304 4196468 140736470801552 140083843688128 140084476690201 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18542] ppid=18505 vsize=8068440 memory=976 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18542/stat : 18542 (java) S 18505 18505 12870 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 405950912 8262082560 29775 33554432000 4194304 4196468 140736470801552 140081633406736 140084476687517 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18543] ppid=18505 vsize=8068440 memory=772 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18543/stat : 18543 (java) S 18505 18505 12870 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405950912 8262082560 29775 33554432000 4194304 4196468 140736470801552 140081767628432 140084476687517 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18544] ppid=18505 vsize=8068440 memory=3932 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18544/stat : 18544 (java) S 18505 18505 12870 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405950914 8262082560 29775 33554432000 4194304 4196468 140736470801552 140081364982960 140084476675797 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
Current children cumulated CPU time: 40.69 s
Current children cumulated vsize: 8526864 KiB
Current children cumulated memory: 426772 KiB
[startup+33.701 s]
/proc/loadavg: 2.59 2.31 2.20 3/234 18623
/proc/meminfo: memFree=27809524/32770624 swapFree=66932988/67108860
[pid=18505] ppid=18502 vsize=113128 memory=1476 CPUtime=20.32 cores=1,3,5,7
/proc/18505/stat : 18505 (scop.sh) S 18502 18505 12870 0 -1 4202496 583 30995 0 0 0 0 1961 71 20 0 1 0 405949463 115843072 369 33554432000 4194304 5098028 140726210632320 140726210629064 140085720535676 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39698432 140726210634595 140726210634864 140726210634864 140726210637773 0
/proc/18505/statm: 28282 369 311 221 0 87 0
[pid=18524] ppid=18505 vsize=8068440 memory=119628 CPUtime=1.28 cores=1,3,5,7
/proc/18524/stat : 18524 (java) S 18505 18505 12870 0 -1 1077944320 20746 0 0 0 120 8 0 0 20 0 19 0 405950837 8262082560 29907 33554432000 4194304 4196468 140736470801552 140736470784096 140084476665591 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
/proc/18524/statm: 2017110 29907 3213 1 0 1978454 0
[pid=18539] ppid=18524 vsize=300232 memory=273060 CPUtime=19.2 cores=1,3,5,7
/proc/18539/stat : 18539 (cryptominisat5) R 18524 18505 12870 0 -1 4202496 156044 0 0 0 1903 17 0 0 20 0 1 0 405950911 307437568 68265 33554432000 4194304 4451008 140731339170640 140731339166568 139792824320908 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 27353088 140731339174844 140731339174976 140731339174976 140731339177926 0
/proc/18539/statm: 75058 68265 677 63 0 68785 0
[pid=18524/tid=18525] ppid=18505 vsize=8068440 memory=2832 CPUtime=0.76 cores=1,3,5,7
/proc/18524/task/18525/stat : 18525 (java) S 18505 18505 12870 0 -1 1077944384 17192 0 0 0 70 6 0 0 20 0 19 0 405950838 8262082560 29907 33554432000 4194304 4196468 140736470801552 140084448505760 140084476675797 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18526] ppid=18505 vsize=8068440 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18526/stat : 18526 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405950839 8262082560 29907 33554432000 4194304 4196468 140736470801552 140084480907920 140084476675797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18527] ppid=18505 vsize=8068440 memory=306060 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18527/stat : 18527 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405950839 8262082560 29907 33554432000 4194304 4196468 140736470801552 140084281076240 140084476675797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18528] ppid=18505 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18528/stat : 18528 (java) S 18505 18505 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405950839 8262082560 29907 33554432000 4194304 4196468 140736470801552 140084280023440 140084476675797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18529] ppid=18505 vsize=8068440 memory=119100 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18529/stat : 18529 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405950839 8262082560 29907 33554432000 4194304 4196468 140736470801552 140084278970640 140084476675797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18530] ppid=18505 vsize=8068440 memory=306040 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18530/stat : 18530 (java) S 18505 18505 12870 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405950841 8262082560 29907 33554432000 4194304 4196468 140736470801552 140083923073904 140084476676738 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18531] ppid=18505 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18531/stat : 18531 (java) S 18505 18505 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405950841 8262082560 29907 33554432000 4194304 4196468 140736470801552 140083311142432 140084476675797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18532] ppid=18505 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18532/stat : 18532 (java) S 18505 18505 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405950841 8262082560 29907 33554432000 4194304 4196468 140736470801552 140083042706800 140084476675797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18533] ppid=18505 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18533/stat : 18533 (java) S 18505 18505 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405950844 8262082560 29907 33554432000 4194304 4196468 140736470801552 140082668198224 140084476684187 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18534] ppid=18505 vsize=8068440 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/18524/task/18534/stat : 18534 (java) S 18505 18505 12870 0 -1 1077944384 868 0 0 0 12 0 0 0 20 0 19 0 405950844 8262082560 29907 33554432000 4194304 4196468 140736470801552 140083922020720 140084476676738 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18535] ppid=18505 vsize=8068440 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/18524/task/18535/stat : 18535 (java) S 18505 18505 12870 0 -1 1077944384 652 0 0 0 13 0 0 0 20 0 19 0 405950844 8262082560 29907 33554432000 4194304 4196468 140736470801552 140083920967920 140084476676738 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18536] ppid=18505 vsize=8068440 memory=1476 CPUtime=0.21 cores=1,3,5,7
/proc/18524/task/18536/stat : 18536 (java) S 18505 18505 12870 0 -1 1077944384 614 0 0 0 21 0 0 0 20 0 19 0 405950844 8262082560 29907 33554432000 4194304 4196468 140736470801552 140083919915120 140084476676738 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18537] ppid=18505 vsize=8068440 memory=119100 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18537/stat : 18537 (java) S 18505 18505 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405950844 8262082560 29907 33554432000 4194304 4196468 140736470801552 140082170292448 140084476675797 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18538] ppid=18505 vsize=8068440 memory=305352 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18538/stat : 18538 (java) S 18505 18505 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405950844 8262082560 29907 33554432000 4194304 4196468 140736470801552 140083918863536 140084476676738 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18540] ppid=18505 vsize=8068440 memory=5812 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18540/stat : 18540 (java) S 18505 18505 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405950911 8262082560 29907 33554432000 4194304 4196468 140736470801552 140083843688128 140084476690201 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18542] ppid=18505 vsize=8068440 memory=8039887049847964836 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18542/stat : 18542 (java) S 18505 18505 12870 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 405950912 8262082560 29907 33554432000 4194304 4196468 140736470801552 140081633406704 140084476687517 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18543] ppid=18505 vsize=8068440 memory=7306644339120630639 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18543/stat : 18543 (java) S 18505 18505 12870 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405950912 8262082560 29907 33554432000 4194304 4196468 140736470801552 140081767628432 140084476687517 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
[pid=18524/tid=18544] ppid=18505 vsize=8068440 memory=7295938381028020304 CPUtime=0 cores=1,3,5,7
/proc/18524/task/18544/stat : 18544 (java) S 18505 18505 12870 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405950914 8262082560 29907 33554432000 4194304 4196468 140736470801552 140081364982960 140084476675797 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29507584 140736470803451 140736470803610 140736470803610 140736470806479 0
Current children cumulated CPU time: 40.8 s
Current children cumulated vsize: 8481800 KiB
Current children cumulated memory: 394164 KiB
Child status: 0
Real time (s): 33.7447
CPU time (s): 40.8874
CPU user time (s): 39.8837
CPU system time (s): 1.00377
CPU usage (%): 121.167
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 3075568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.8837
system time used= 1.00377
maximum resident set size= 3074756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217079
page faults= 0
swaps= 0
block input operations= 8
block output operations= 122640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5924
involuntary context switches= 62
# summary of solver processes directly reported to runsolver:
# pid: 18505
# total CPU time (s): 40.8874
# total CPU user time (s): 39.8837
# total CPU system time (s): 1.00377
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.256503 second user time and 0.402806 second system time
The end