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-15936-serial-file.bin HOME/instance-4387828-1568291340.xml
0.66/0.52
0.66/0.52 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Thu Sep 12 14:28:21 CEST 2019
0.66/0.54 c PID: 15939
0.66/0.54 c IP: 172.20.3.151
0.66/0.54 c HOST: node151.alineos.net
0.66/0.55 c (0,0) Parsing Begin
6.20/2.39 c (1,1) Parsing End
6.52/2.40 c (1,1) CSP: 215 int (0 aux), 10 bool (0 aux), 10811 ctr, max domain size 5
6.52/2.40 c (1,1) Heap : 619 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
6.52/2.40 c (1,1) Constraint Name Generate Begin
6.52/2.50 c (1,1) Ctr:HOME/instance-4387828-1568291340.xml,Cardinality:Instantiation:LexMatrix:Ne:Num:Or:Var
6.52/2.50 c (1,1) Constraint Name Generate End
6.52/2.50 c (1,1) Heap : 619 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
6.52/2.50 c (1,1) CSP to CSPinCNF Begin
7.25/2.77 c (2,2) translated 1082 (10%) constraints
7.57/2.85 c (2,2) translated 2163 (20%) constraints
7.87/2.92 c (2,2) translated 3244 (30%) constraints
7.87/2.97 c (2,2) translated 4325 (40%) constraints
8.16/3.03 c (2,2) translated 5406 (50%) constraints
8.40/3.17 c (2,2) translated 6487 (60%) constraints
8.40/3.17 c (2,2) translated 7568 (70%) constraints
8.40/3.17 c (2,2) translated 8649 (80%) constraints
8.40/3.19 c (2,2) translated 9730 (90%) constraints
9.66/3.59 c (3,3) translated 10811 (100%) constraints
10.88/3.91 c (3,3) ===========================================
10.88/3.97 c (3,3) Hybrid: #OE=552, #LE=1150
10.88/3.97 c (3,3) Hybrid
10.88/3.97 c (3,3) ===========================================
11.23/4.10 c (3,3) translated 1389 (10%) constraints
11.82/4.20 c (3,3) translated 2778 (20%) constraints
11.82/4.29 c (3,3) translated 4167 (30%) constraints
12.03/4.37 c (3,3) translated 5556 (40%) constraints
12.24/4.45 c (3,3) translated 6944 (50%) constraints
12.38/4.53 c (4,3) translated 8333 (60%) constraints
12.49/4.60 c (4,4) translated 9722 (70%) constraints
12.49/4.69 c (4,4) translated 11111 (80%) constraints
13.00/4.80 c (4,4) translated 12500 (90%) constraints
13.00/4.89 c (4,4) translated 13888 (100%) constraints
13.00/4.89 c (4,4) CSP to CSPinCNF End
13.00/4.90 c (4,4) CSP: 215 int (0 aux), 2612 bool (2602 aux), 16208 ctr, max domain size 5
13.00/4.90 c (4,4) Heap : 1182 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
13.00/4.90 c (4,4) CSPinCNF Propagation Begin
13.97/5.16 c (4,4) 270 values, 3818 unsatisfiable literals, and 3013 valid clauses are removed
13.97/5.16 c (4,4) CSPinCNF Propagation End
13.97/5.16 c (4,4) CSP: 215 int (0 aux), 2612 bool (2602 aux), 13195 ctr, max domain size 5
13.97/5.16 c (4,4) Heap : 1295 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
14.26/5.22 c (4,4) Hybrid: #OE=1677, #LE=1150
14.26/5.22 c (4,4) Simplify CSPinCNF Begin
15.17/5.56 c (5,5) Simplify CSPinCNF End
15.17/5.56 c (5,5) CSP: 215 int (0 aux), 7811 bool (7801 aux), 18394 ctr, max domain size 5
15.17/5.56 c (5,5) Heap : 1464 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
15.17/5.56 c (5,5) Calculate Precise Domain Begin
15.17/5.56 c (5,5) 0 values are removed by re-calculation
15.17/5.56 c (5,5) Calculate Precise Domain End
15.17/5.56 c (5,5) CSP: 215 int (0 aux), 7811 bool (7801 aux), 18394 ctr, max domain size 5
15.17/5.56 c (5,5) Heap : 1464 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
15.17/5.56 c (5,5) CSPinCNF to SatSolver Begin
16.40/5.94 c (5,5) 1840 (10 %) CSP clauses are encoded (0 SAT variables, 7627 SAT clauses)
16.71/6.07 c (5,5) 3679 (20 %) CSP clauses are encoded (0 SAT variables, 14438 SAT clauses)
17.01/6.17 c (5,5) 5519 (30 %) CSP clauses are encoded (0 SAT variables, 20886 SAT clauses)
17.28/6.27 c (5,5) 7358 (40 %) CSP clauses are encoded (0 SAT variables, 27157 SAT clauses)
17.58/6.30 c (5,5) 9197 (50 %) CSP clauses are encoded (0 SAT variables, 28996 SAT clauses)
17.58/6.33 c (5,5) 11037 (60 %) CSP clauses are encoded (0 SAT variables, 30836 SAT clauses)
17.58/6.36 c (5,5) 12876 (70 %) CSP clauses are encoded (0 SAT variables, 32675 SAT clauses)
17.90/6.49 c (5,5) 14716 (80 %) CSP clauses are encoded (0 SAT variables, 43830 SAT clauses)
18.25/6.57 c (6,6) 16555 (90 %) CSP clauses are encoded (0 SAT variables, 58089 SAT clauses)
18.54/6.65 c (6,6) 18394 (100 %) CSP clauses are encoded (0 SAT variables, 65475 SAT clauses)
18.54/6.65 c (6,6) CSPinCNF to SatSolver End
18.54/6.65 c (6,6) Heap : 1746 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
18.54/6.65 c (6,6) 17331 bool, 65479 clause
18.54/6.65 c (6,6) Export Begin
18.83/6.76 c (6,6) Export to HOME/scop-15936-serial-file.bin
18.83/6.76 c (6,6) Export End
18.83/6.76 c (6,6) Export File Size: 0.04 MB
18.83/6.76 c (6,6) 1,1,4,4,5,5,6,STOP-AFTER(DIMACS)
18.83/6.76 c END-Prog: Thu Sep 12 14:28:27 CEST 2019
19.06/6.82 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-15936-serial-file.bin
19.59/7.27 c (0,0) Read Serial File Begin
19.59/7.27 c (0,0) HOME/scop-15936-serial-file.bin
19.84/7.49 c (0,0) Read Serial File End
20.02/7.50
20.02/7.50 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
20.02/7.50 (Solving Process)
20.02/7.50
20.02/7.53 c BEGIN-Prog: Thu Sep 12 14:28:28 CEST 2019
20.02/7.53 c PID: 15954
20.02/7.53 c IP: 172.20.3.151
20.02/7.53 c HOST: node151.alineos.net
20.02/7.53 c (0,0) SatSolver.solve Begin
20.02/7.53 c (0,0) HOME/cryptominisat5 HOME/instance-4387828-1568291340.xml-scop-15939.cnf
20.02/7.56 c (0,0) c Outputting solution to console
20.02/7.56 c (0,0) c CryptoMiniSat version 5.6.8
20.02/7.56 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
20.02/7.56 c (0,0) c CMS SHA revision GIT-notfound
20.02/7.56 c (0,0) c CMS is MIT licensed
20.02/7.56 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
20.02/7.56 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
20.02/7.56 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387828-1568291340.xml-scop-15939.cnf
20.02/7.56 c (0,0) c Reading file 'HOME/instance-4387828-1568291340.xml-scop-15939.cnf'
20.02/7.56 c (0,0) c -- header says num vars: 17331
20.02/7.56 c (0,0) c -- header says num clauses: 65479
20.02/7.58 c (0,0) c -- clauses added: 65479
20.02/7.58 c (0,0) c -- xor clauses added: 0
20.02/7.58 c (0,0) c -- vars added 17331
20.02/7.58 c (0,0) c Parsing time: 0.02 s
20.02/7.59 c (0,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
20.02/7.59 c (0,0) c [distill] long cls tried: 3/3 cl-short:3 lit-r:0 T: 0.00 T-out: N T-r: 100.00%
20.26/7.70 c (0,0) c [distill] long cls tried: 292/293 cl-short:292 lit-r:98 T: 0.00 T-out: N T-r: 99.97%
20.26/7.80 c (0,0) c [distill] long cls tried: 422/710 cl-short:422 lit-r:90 T: 0.01 T-out: N T-r: 99.94%
20.26/7.81 c (0,0) c glue 1 33 8193 15728 44K 15702 3.16 2.85 739 2799 4590 21 13.61 13.58
20.26/7.96 c (0,0) c [distill] long cls tried: 1633/2334 cl-short:1633 lit-r:901 T: 0.06 T-out: N T-r: 99.59%
20.70/8.07 c (0,0) c geom 1 48 16386 15728 44K 15702 3.16 2.85 2593 6588 7123 38 12.45 12.42
20.81/8.13 c (0,0) c [distill] long cls tried: 312/2640 cl-short:312 lit-r:249 T: 0.02 T-out: N T-r: 99.86%
20.90/8.22 c (1,0) c ------- FINAL TOTAL SEARCH STATS ---------
20.90/8.22 c (1,0) c UIP search time : 0.64 (96.03 % time)
20.90/8.22 c (1,0) c restarts : 54 (385.33 confls per restart)
20.90/8.22 c (1,0) c blocked restarts : 0 (0.00 per normal restart)
20.90/8.22 c (1,0) c time : 0.64
20.90/8.22 c (1,0) c decisions : 33562 (0.00 % random)
20.90/8.22 c (1,0) c propagations : 3374912
20.90/8.22 c (1,0) c decisions/conflicts : 1.61
20.90/8.22 c (1,0) c conflicts : 20808 (32645.79 / sec)
20.90/8.22 c (1,0) c conf lits non-minim : 286984 (13.79 lit/confl)
20.90/8.22 c (1,0) c conf lits final : 11.71
20.90/8.22 c (1,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
20.90/8.22 c (1,0) c red which0 : 1309 (6.29 % of confl)
20.90/8.22 c (1,0) c props/decision : 0.00
20.90/8.22 c (1,0) c props/conflict : 0.00
20.90/8.22 c (1,0) c 0-depth assigns : 1763 (10.17 % vars)
20.90/8.22 c (1,0) c 0-depth assigns by CNF : 80 (0.46 % vars)
20.90/8.22 c (1,0) c reduceDB time : 0.00 (0.15 % time)
20.90/8.22 c (1,0) c OccSimplifier time : 0.00 (0.00 % time)
20.90/8.22 c (1,0) c [occur] 0.00 is overhead
20.90/8.22 c (1,0) c [occur] link-in T: 0.00 cleanup T: 0.00
20.90/8.22 c (1,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
20.90/8.22 c (1,0) c SCC time : 0.00 (0.00 % time)
20.90/8.22 c (1,0) c [scc] new: 0 BP 0M T: 0.00
20.90/8.22 c (1,0) c vrep replace time : 0.00 (0.00 % time)
20.90/8.22 c (1,0) c vrep tree roots : 0
20.90/8.22 c (1,0) c vrep trees' crown : 0 (0.00 leafs/tree)
20.90/8.22 c (1,0) c distill time : 0.09 (13.12 % time)
20.90/8.22 c (1,0) c strength cache-irred time: 0.00 (0.00 % time)
20.90/8.22 c (1,0) c strength cache-red time : 0.00 (0.00 % time)
20.90/8.22 c (1,0) c Conflicts in UIP : 20808 (31349.53 confl/time_this_thread)
20.90/8.22 c (1,0) c Mem used : 15.17 MB
20.90/8.22 c (1,0) c Total time (this thread) : 0.66
20.90/8.23 c (1,0) s UNSATISFIABLE
20.90/8.23 c (1,0) SatSolver.solve End
20.90/8.23 c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
20.90/8.23 c (1,0) Show results Begin
20.90/8.23 s UNSATISFIABLE
20.90/8.23 c (1,0) Show results End
20.90/8.23 c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
20.90/8.23 c (1,0) 1,1,STOP-AFTER(ALL)
20.90/8.23 c END-Prog: Thu Sep 12 14:28:29 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 (14863 MiB free)
memory of node 1: 16384 MiB (15542 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387828-1568291340/watcher-4387828-1568291340 -o /tmp/evaluation-result-4387828-1568291340/solver-4387828-1568291340 -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-4387828-1568291340.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=15936, runsolver pid=15933
[startup+0.100059 s]*
/proc/loadavg: 2.00 2.01 2.05 5/234 15953
/proc/meminfo: memFree=31075972/32770624 swapFree=66932884/67108860
[pid=15936] ppid=15933 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15936/stat : 15936 (scop.sh) S 15933 15936 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405405433 115843072 349 33554432000 4194304 5098028 140732193514960 140732193512216 140583114920572 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29941760 140732193522531 140732193522800 140732193522800 140732193525709 0
/proc/15936/statm: 28282 349 296 221 0 87 0
[pid=15939] ppid=15936 vsize=15016308 memory=77336 CPUtime=0.11 cores=1,3,5,7
/proc/15939/stat : 15939 (java) S 15936 15936 12870 0 -1 1077944320 7044 0 0 0 9 2 0 0 20 0 15 0 405405433 15376699392 19334 33554432000 4194304 4196468 140727957972480 140727957955024 139980679655159 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
/proc/15939/statm: 3754077 19334 2931 1 0 3716482 0
[pid=15939/tid=15940] ppid=15936 vsize=15016308 memory=-6509246020331028419 CPUtime=0.09 cores=1,3,5,7
/proc/15939/task/15940/stat : 15940 (java) R 15936 15936 12870 0 -1 4202560 5213 0 0 0 7 2 0 0 20 0 15 0 405405433 15376699392 19664 33554432000 4194304 4196468 140727957972480 139980651439408 139980672334877 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15941] ppid=15936 vsize=15016308 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15941/stat : 15941 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405405435 15376699392 19664 33554432000 4194304 4196468 140727957972480 139980683897616 139980679665365 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15942] ppid=15936 vsize=15016308 memory=140531895613056 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15942/stat : 15942 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405405435 15376699392 19730 33554432000 4194304 4196468 140727957972480 139980501986192 139980679665365 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15943] ppid=15936 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15943/stat : 15943 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405405435 15376699392 19730 33554432000 4194304 4196468 140727957972480 139980139211792 139980679665365 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15944] ppid=15936 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15944/stat : 15944 (java) S 15936 15936 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405405435 15376699392 19730 33554432000 4194304 4196468 140727957972480 139980138159248 139980679665365 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15945] ppid=15936 vsize=15016308 memory=140531895613056 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15945/stat : 15945 (java) S 15936 15936 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405405436 15376699392 19730 33554432000 4194304 4196468 140727957972480 139980019021808 139980679666306 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15946] ppid=15936 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15946/stat : 15946 (java) S 15936 15936 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405405437 15376699392 19730 33554432000 4194304 4196468 140727957972480 139979258848160 139980679665365 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15947] ppid=15936 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15947/stat : 15947 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405405437 15376699392 19730 33554432000 4194304 4196468 140727957972480 139979023967216 139980679665365 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15948] ppid=15936 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15948/stat : 15948 (java) S 15936 15936 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405405439 15376699392 19730 33554432000 4194304 4196468 140727957972480 139978649458896 139980679673755 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15949] ppid=15936 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15949/stat : 15949 (java) S 15936 15936 12870 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 15 0 405405439 15376699392 19730 33554432000 4194304 4196468 140727957972480 139980017969648 139980679666306 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15950] ppid=15936 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15950/stat : 15950 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405405439 15376699392 19730 33554432000 4194304 4196468 140727957972480 139980016917104 139980679666306 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15951] ppid=15936 vsize=15016308 memory=140531895613056 CPUtime=0.01 cores=1,3,5,7
/proc/15939/task/15951/stat : 15951 (java) S 15936 15936 12870 0 -1 1077944384 443 0 0 0 1 0 0 0 20 0 15 0 405405439 15376699392 19730 33554432000 4194304 4196468 140727957972480 139980015864560 139980679666306 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15952] ppid=15936 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15952/stat : 15952 (java) S 15936 15936 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405405440 15376699392 19730 33554432000 4194304 4196468 140727957972480 139978151554144 139980679665365 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15953] ppid=15936 vsize=15016308 memory=140531895613056 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15953/stat : 15953 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405405440 15376699392 19730 33554432000 4194304 4196468 140727957972480 139980014811440 139980679666306 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15129436 KiB
Current children cumulated memory: 78732 KiB
[startup+0.210898 s]*
/proc/loadavg: 2.00 2.01 2.05 3/234 15953
/proc/meminfo: memFree=31057496/32770624 swapFree=66932884/67108860
[pid=15936] ppid=15933 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15936/stat : 15936 (scop.sh) S 15933 15936 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405405433 115843072 349 33554432000 4194304 5098028 140732193514960 140732193512216 140583114920572 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29941760 140732193522531 140732193522800 140732193522800 140732193525709 0
/proc/15936/statm: 28282 349 296 221 0 87 0
[pid=15939] ppid=15936 vsize=15012696 memory=88188 CPUtime=0.25 cores=1,3,5,7
/proc/15939/stat : 15939 (java) S 15936 15936 12870 0 -1 1077944320 11078 0 0 0 22 3 0 0 20 0 15 0 405405433 15373000704 22047 33554432000 4194304 4196468 140727957972480 140727957955024 139980679655159 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
/proc/15939/statm: 3753174 22047 2939 1 0 3715579 0
[pid=15939/tid=15940] ppid=15936 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/15939/task/15940/stat : 15940 (java) R 15936 15936 12870 0 -1 4202560 8831 0 0 0 17 3 0 0 20 0 15 0 405405433 15373000704 22047 33554432000 4194304 4196468 140727957972480 139980651462720 139980679677085 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15941] ppid=15936 vsize=15012696 memory=343 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15941/stat : 15941 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405405435 15373000704 22047 33554432000 4194304 4196468 140727957972480 139980683897616 139980679665365 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15942] ppid=15936 vsize=15012696 memory=288370908047324800 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15942/stat : 15942 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405405435 15373000704 22047 33554432000 4194304 4196468 140727957972480 139980501986192 139980679665365 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15943] ppid=15936 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15943/stat : 15943 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405405435 15373000704 22047 33554432000 4194304 4196468 140727957972480 139980139211792 139980679665365 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15944] ppid=15936 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15944/stat : 15944 (java) S 15936 15936 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405405435 15373000704 22047 33554432000 4194304 4196468 140727957972480 139980138159248 139980679665365 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15945] ppid=15936 vsize=15012696 memory=140531895613056 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15945/stat : 15945 (java) S 15936 15936 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405405436 15373000704 22047 33554432000 4194304 4196468 140727957972480 139980019021808 139980679666306 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15946] ppid=15936 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15946/stat : 15946 (java) S 15936 15936 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405405437 15373000704 22047 33554432000 4194304 4196468 140727957972480 139979258848160 139980679665365 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15947] ppid=15936 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15947/stat : 15947 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405405437 15373000704 22047 33554432000 4194304 4196468 140727957972480 139979023967216 139980679665365 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15948] ppid=15936 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15948/stat : 15948 (java) S 15936 15936 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405405439 15373000704 22047 33554432000 4194304 4196468 140727957972480 139978649458896 139980679673755 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15949] ppid=15936 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15949/stat : 15949 (java) S 15936 15936 12870 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 405405439 15373000704 22047 33554432000 4194304 4196468 140727957972480 139980017969648 139980679666306 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15950] ppid=15936 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15950/stat : 15950 (java) S 15936 15936 12870 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 405405439 15373000704 22047 33554432000 4194304 4196468 140727957972480 139980016917104 139980679666306 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15951] ppid=15936 vsize=15012696 memory=140531895613056 CPUtime=0.03 cores=1,3,5,7
/proc/15939/task/15951/stat : 15951 (java) S 15936 15936 12870 0 -1 1077944384 458 0 0 0 3 0 0 0 20 0 15 0 405405439 15373000704 22047 33554432000 4194304 4196468 140727957972480 139980015864560 139980679666306 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15952] ppid=15936 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15952/stat : 15952 (java) S 15936 15936 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405405440 15373000704 22047 33554432000 4194304 4196468 140727957972480 139978151554144 139980679665365 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15953] ppid=15936 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15953/stat : 15953 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405405440 15373000704 22047 33554432000 4194304 4196468 140727957972480 139980014811440 139980679666306 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89584 KiB
[startup+0.31056 s]*
/proc/loadavg: 2.00 2.01 2.05 3/234 15953
/proc/meminfo: memFree=31054332/32770624 swapFree=66932884/67108860
[pid=15936] ppid=15933 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15936/stat : 15936 (scop.sh) S 15933 15936 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405405433 115843072 349 33554432000 4194304 5098028 140732193514960 140732193512216 140583114920572 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29941760 140732193522531 140732193522800 140732193522800 140732193525709 0
/proc/15936/statm: 28282 349 296 221 0 87 0
[pid=15939] ppid=15936 vsize=15012696 memory=92204 CPUtime=0.43 cores=1,3,5,7
/proc/15939/stat : 15939 (java) S 15936 15936 12870 0 -1 1077944320 12011 0 0 0 39 4 0 0 20 0 15 0 405405433 15373000704 23051 33554432000 4194304 4196468 140727957972480 140727957955024 139980679655159 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
/proc/15939/statm: 3753174 23051 3079 1 0 3715579 0
[pid=15939/tid=15940] ppid=15936 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/15939/task/15940/stat : 15940 (java) R 15936 15936 12870 0 -1 4202560 9592 0 0 0 27 3 0 0 20 0 15 0 405405433 15373000704 23051 33554432000 4194304 4196468 140727957972480 139980651440144 139980661218740 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15941] ppid=15936 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15941/stat : 15941 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405405435 15373000704 23051 33554432000 4194304 4196468 140727957972480 139980683897616 139980679665365 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15942] ppid=15936 vsize=15012696 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15942/stat : 15942 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405405435 15373000704 23051 33554432000 4194304 4196468 140727957972480 139980501986192 139980679665365 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15943] ppid=15936 vsize=15012696 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15943/stat : 15943 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405405435 15373000704 23051 33554432000 4194304 4196468 140727957972480 139980139211792 139980679665365 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15944] ppid=15936 vsize=15012696 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15944/stat : 15944 (java) S 15936 15936 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405405435 15373000704 23051 33554432000 4194304 4196468 140727957972480 139980138159248 139980679665365 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15945] ppid=15936 vsize=15012696 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15945/stat : 15945 (java) S 15936 15936 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405405436 15373000704 23051 33554432000 4194304 4196468 140727957972480 139980019021808 139980679666306 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15946] ppid=15936 vsize=15012696 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15946/stat : 15946 (java) S 15936 15936 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405405437 15373000704 23051 33554432000 4194304 4196468 140727957972480 139979258848160 139980679665365 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15947] ppid=15936 vsize=15012696 memory=7827413994055111515 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15947/stat : 15947 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405405437 15373000704 23051 33554432000 4194304 4196468 140727957972480 139979023967216 139980679665365 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15948] ppid=15936 vsize=15012696 memory=8508281356422055839 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15948/stat : 15948 (java) S 15936 15936 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405405439 15373000704 23051 33554432000 4194304 4196468 140727957972480 139978649458896 139980679673755 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15949] ppid=15936 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15939/task/15949/stat : 15949 (java) S 15936 15936 12870 0 -1 1077944384 467 0 0 0 2 0 0 0 20 0 15 0 405405439 15373000704 23051 33554432000 4194304 4196468 140727957972480 139980017969648 139980679666306 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15950] ppid=15936 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15939/task/15950/stat : 15950 (java) S 15936 15936 12870 0 -1 1077944384 142 0 0 0 2 0 0 0 20 0 15 0 405405439 15373000704 23051 33554432000 4194304 4196468 140727957972480 139980016917104 139980679666306 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15951] ppid=15936 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15939/task/15951/stat : 15951 (java) S 15936 15936 12870 0 -1 1077944384 479 0 0 0 7 0 0 0 20 0 15 0 405405439 15373000704 23051 33554432000 4194304 4196468 140727957972480 139980015864560 139980679666306 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15952] ppid=15936 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15952/stat : 15952 (java) S 15936 15936 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405405440 15373000704 23051 33554432000 4194304 4196468 140727957972480 139978151554144 139980679665365 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15953] ppid=15936 vsize=15012696 memory=3689071724943450161 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15953/stat : 15953 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405405440 15373000704 23051 33554432000 4194304 4196468 140727957972480 139980014811440 139980679666306 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93600 KiB
[startup+0.701832 s]
/proc/loadavg: 2.00 2.01 2.05 3/234 15953
/proc/meminfo: memFree=31031980/32770624 swapFree=66932884/67108860
[pid=15936] ppid=15933 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15936/stat : 15936 (scop.sh) S 15933 15936 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405405433 115843072 349 33554432000 4194304 5098028 140732193514960 140732193512216 140583114920572 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29941760 140732193522531 140732193522800 140732193522800 140732193525709 0
/proc/15936/statm: 28282 349 296 221 0 87 0
[pid=15939] ppid=15936 vsize=15018968 memory=133840 CPUtime=1.06 cores=1,3,5,7
/proc/15939/stat : 15939 (java) S 15936 15936 12870 0 -1 1077944320 19694 0 0 0 99 7 0 0 20 0 15 0 405405433 15379423232 33460 33554432000 4194304 4196468 140727957972480 140727957955024 139980679655159 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
/proc/15939/statm: 3754742 33460 3183 1 0 3716091 0
[pid=15939/tid=15940] ppid=15936 vsize=15018968 memory=2372 CPUtime=0.68 cores=1,3,5,7
/proc/15939/task/15940/stat : 15940 (java) R 15936 15936 12870 0 -1 4202560 16658 0 0 0 62 6 0 0 20 0 15 0 405405433 15379423232 33460 33554432000 4194304 4196468 140727957972480 139980651491264 139980181738633 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15941] ppid=15936 vsize=15018968 memory=116 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15941/stat : 15941 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405405435 15379423232 33460 33554432000 4194304 4196468 140727957972480 139980683897616 139980679665365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15942] ppid=15936 vsize=15018968 memory=2958609 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15942/stat : 15942 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405405435 15379423232 33460 33554432000 4194304 4196468 140727957972480 139980501986192 139980679665365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15943] ppid=15936 vsize=15018968 memory=2965990 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15943/stat : 15943 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405405435 15379423232 33460 33554432000 4194304 4196468 140727957972480 139980139211792 139980679665365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15944] ppid=15936 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15944/stat : 15944 (java) S 15936 15936 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405405435 15379423232 33460 33554432000 4194304 4196468 140727957972480 139980138159248 139980679665365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15945] ppid=15936 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15945/stat : 15945 (java) S 15936 15936 12870 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405405436 15379423232 33460 33554432000 4194304 4196468 140727957972480 139980019021808 139980679666306 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15946] ppid=15936 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15946/stat : 15946 (java) S 15936 15936 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405405437 15379423232 33460 33554432000 4194304 4196468 140727957972480 139979258848160 139980679665365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15947] ppid=15936 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15947/stat : 15947 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405405437 15379423232 33460 33554432000 4194304 4196468 140727957972480 139979023967216 139980679665365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15948] ppid=15936 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15948/stat : 15948 (java) S 15936 15936 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405405439 15379423232 33460 33554432000 4194304 4196468 140727957972480 139978649458896 139980679673755 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15949] ppid=15936 vsize=15018968 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/15939/task/15949/stat : 15949 (java) R 15936 15936 12870 0 -1 4202560 713 0 0 0 10 0 0 0 20 0 15 0 405405439 15379423232 33460 33554432000 4194304 4196468 140727957972480 139980017959760 139980663628884 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15950] ppid=15936 vsize=15018968 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15939/task/15950/stat : 15950 (java) R 15936 15936 12870 0 -1 1077944384 325 0 0 0 8 0 0 0 20 0 15 0 405405439 15379423232 33460 33554432000 4194304 4196468 140727957972480 139980016909056 139980679665365 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15951] ppid=15936 vsize=15018968 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/15939/task/15951/stat : 15951 (java) R 15936 15936 12870 0 -1 4202560 663 0 0 0 18 0 0 0 20 0 15 0 405405439 15379423232 33460 33554432000 4194304 4196468 140727957972480 139980015859600 139980679667094 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15952] ppid=15936 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15952/stat : 15952 (java) S 15936 15936 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405405440 15379423232 33460 33554432000 4194304 4196468 140727957972480 139978151554144 139980679665365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15953] ppid=15936 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15953/stat : 15953 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405405440 15379423232 33460 33554432000 4194304 4196468 140727957972480 139980014811440 139980679666306 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 135236 KiB
[startup+1.50151 s]
/proc/loadavg: 2.00 2.01 2.05 5/234 15953
/proc/meminfo: memFree=30948832/32770624 swapFree=66932884/67108860
[pid=15936] ppid=15933 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15936/stat : 15936 (scop.sh) S 15933 15936 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405405433 115843072 349 33554432000 4194304 5098028 140732193514960 140732193512216 140583114920572 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29941760 140732193522531 140732193522800 140732193522800 140732193525709 0
/proc/15936/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/15939/task/15948/stat : 15948 (java) S 15936 15936 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405405439 15387959296 410760 33554432000 4194304 4196468 140727957972480 139978649458896 139980679673755 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15949] ppid=15936 vsize=15027304 memory=281063465799872 CPUtime=5.04 cores=1,3,5,7
/proc/15939/task/15949/stat : 15949 (java) R 15936 15936 12870 0 -1 4202560 3784 0 0 0 503 1 0 0 20 0 15 0 405405439 15387959296 410760 33554432000 4194304 4196468 140727957972480 139980017950240 139980663642806 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15950] ppid=15936 vsize=15027304 memory=56 CPUtime=5.09 cores=1,3,5,7
/proc/15939/task/15950/stat : 15950 (java) R 15936 15936 12870 0 -1 4202560 5135 0 0 0 507 2 0 0 20 0 15 0 405405439 15387959296 410760 33554432000 4194304 4196468 140727957972480 139980016901056 139980658826212 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15951] ppid=15936 vsize=15027304 memory=0 CPUtime=1.39 cores=1,3,5,7
/proc/15939/task/15951/stat : 15951 (java) R 15936 15936 12870 0 -1 4202560 2917 0 0 0 137 2 0 0 20 0 15 0 405405439 15387959296 410760 33554432000 4194304 4196468 140727957972480 139980015864368 139980659379546 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15952] ppid=15936 vsize=15027304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15952/stat : 15952 (java) S 15936 15936 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405405440 15387959296 410760 33554432000 4194304 4196468 140727957972480 139978151554144 139980679665365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
[pid=15939/tid=15953] ppid=15936 vsize=15027304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15939/task/15953/stat : 15953 (java) S 15936 15936 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405405440 15387959296 410760 33554432000 4194304 4196468 140727957972480 139980014811440 139980679666306 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11550720 140727957979945 140727957980314 140727957980314 140727957983183 0
Current children cumulated CPU time: 17.9 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 1644436 KiB
[startup+7.20275 s]
/proc/loadavg: 2.31 2.08 2.07 6/234 15968
/proc/meminfo: memFree=31085072/32770624 swapFree=66932884/67108860
[pid=15936] ppid=15933 vsize=113128 memory=1476 CPUtime=19.08 cores=1,3,5,7
/proc/15936/stat : 15936 (scop.sh) S 15933 15936 12870 0 -1 4202496 583 33577 0 0 0 0 1866 42 20 0 1 0 405405433 115843072 369 33554432000 4194304 5098028 140732193514960 140732193511704 140583114920572 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29941760 140732193522531 140732193522800 140732193522800 140732193525709 0
/proc/15936/statm: 28282 369 311 221 0 87 0
[pid=15954] ppid=15936 vsize=7404500 memory=69392 CPUtime=0.51 cores=1,3,5,7
/proc/15954/stat : 15954 (java) S 15936 15936 12870 0 -1 1077944320 12987 0 0 0 46 5 0 0 20 0 15 0 405406115 7582208000 17348 33554432000 4194304 4196468 140731045564576 140731045547120 140063284362999 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
/proc/15954/statm: 1851125 17348 3075 1 0 1813530 0
[pid=15954/tid=15955] ppid=15936 vsize=7404500 memory=8296 CPUtime=0.36 cores=1,3,5,7
/proc/15954/task/15955/stat : 15955 (java) R 15936 15936 12870 0 -1 4202560 10701 0 0 0 32 4 0 0 20 0 15 0 405406115 7582208000 17348 33554432000 4194304 4196468 140731045564576 140063256194496 140063284384925 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15956] ppid=15936 vsize=7404500 memory=5948 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15956/stat : 15956 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405406116 7582208000 17348 33554432000 4194304 4196468 140731045564576 140063288605584 140063284373205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15957] ppid=15936 vsize=7404500 memory=1124 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15957/stat : 15957 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405406116 7582208000 17348 33554432000 4194304 4196468 140731045564576 140063113247504 140063284373205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15958] ppid=15936 vsize=7404500 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15958/stat : 15958 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405406116 7582208000 17348 33554432000 4194304 4196468 140731045564576 140062768135312 140063284373205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15959] ppid=15936 vsize=7404500 memory=11928 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15959/stat : 15959 (java) S 15936 15936 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405406116 7582208000 17348 33554432000 4194304 4196468 140731045564576 140062767082512 140063284373205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15960] ppid=15936 vsize=7404500 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15960/stat : 15960 (java) S 15936 15936 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405406118 7582208000 17348 33554432000 4194304 4196468 140731045564576 140062730848368 140063284374146 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15961] ppid=15936 vsize=7404500 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15961/stat : 15961 (java) S 15936 15936 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405406118 7582208000 17348 33554432000 4194304 4196468 140731045564576 140062171849504 140063284373205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15962] ppid=15936 vsize=7404500 memory=1708576 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15962/stat : 15962 (java) S 15936 15936 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405406118 7582208000 17348 33554432000 4194304 4196468 140731045564576 140062037628016 140063284373205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15963] ppid=15936 vsize=7404500 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15963/stat : 15963 (java) S 15936 15936 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405406121 7582208000 17348 33554432000 4194304 4196468 140731045564576 140061663123536 140063284381595 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15964] ppid=15936 vsize=7404500 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15954/task/15964/stat : 15964 (java) S 15936 15936 12870 0 -1 1077944384 408 0 0 0 2 0 0 0 20 0 15 0 405406121 7582208000 17348 33554432000 4194304 4196468 140731045564576 140062729796208 140063284374146 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15965] ppid=15936 vsize=7404500 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15954/task/15965/stat : 15965 (java) S 15936 15936 12870 0 -1 1077944384 217 0 0 0 2 0 0 0 20 0 15 0 405406121 7582208000 17348 33554432000 4194304 4196468 140731045564576 140062728743408 140063284374146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15966] ppid=15936 vsize=7404500 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15954/task/15966/stat : 15966 (java) S 15936 15936 12870 0 -1 1077944384 313 0 0 0 7 0 0 0 20 0 15 0 405406121 7582208000 17348 33554432000 4194304 4196468 140731045564576 140062727691120 140063284374146 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15967] ppid=15936 vsize=7404500 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15967/stat : 15967 (java) S 15936 15936 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405406121 7582208000 17348 33554432000 4194304 4196468 140731045564576 140061165218784 140063284373205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15968] ppid=15936 vsize=7404500 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15968/stat : 15968 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405406121 7582208000 17348 33554432000 4194304 4196468 140731045564576 140062726638000 140063284374146 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
Current children cumulated CPU time: 19.59 s
Current children cumulated vsize: 7517628 KiB
Current children cumulated memory: 70868 KiB
[startup+8.00075 s]*
/proc/loadavg: 2.31 2.08 2.07 3/239 15974
/proc/meminfo: memFree=31015608/32770624 swapFree=66932884/67108860
[pid=15936] ppid=15933 vsize=113128 memory=1476 CPUtime=19.08 cores=1,3,5,7
/proc/15936/stat : 15936 (scop.sh) S 15933 15936 12870 0 -1 4202496 583 33577 0 0 0 0 1866 42 20 0 1 0 405405433 115843072 369 33554432000 4194304 5098028 140732193514960 140732193511704 140583114920572 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29941760 140732193522531 140732193522800 140732193522800 140732193525709 0
/proc/15936/statm: 28282 369 311 221 0 87 0
[pid=15954] ppid=15936 vsize=8068440 memory=119508 CPUtime=1.18 cores=1,3,5,7
/proc/15954/stat : 15954 (java) S 15936 15936 12870 0 -1 1077944320 20370 0 0 0 111 7 0 0 20 0 19 0 405406115 8262082560 29877 33554432000 4194304 4196468 140731045564576 140731045547120 140063284362999 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
/proc/15954/statm: 2017110 29877 3211 1 0 1978454 0
[pid=15969] ppid=15954 vsize=38664 memory=14256 CPUtime=0.44 cores=1,3,5,7
/proc/15969/stat : 15969 (cryptominisat5) R 15954 15936 12870 0 -1 4202496 3996 0 0 0 44 0 0 0 20 0 1 0 405406188 39591936 3564 33554432000 4194304 4451008 140727141366624 140727141361176 140511529691510 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 16519168 140727141372860 140727141372992 140727141372992 140727141375942 0
/proc/15969/statm: 9666 3564 642 63 0 3393 0
[pid=15954/tid=15955] ppid=15936 vsize=8068440 memory=8039887049847964839 CPUtime=0.76 cores=1,3,5,7
/proc/15954/task/15955/stat : 15955 (java) S 15936 15936 12870 0 -1 1077944384 17387 0 0 0 70 6 0 0 20 0 19 0 405406115 8262082560 29877 33554432000 4194304 4196468 140731045564576 140063256203168 140063284373205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15956] ppid=15936 vsize=8068440 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15956/stat : 15956 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405406116 8262082560 29877 33554432000 4194304 4196468 140731045564576 140063288605584 140063284373205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15957] ppid=15936 vsize=8068440 memory=3472328279047811153 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15957/stat : 15957 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405406116 8262082560 29877 33554432000 4194304 4196468 140731045564576 140063113247504 140063284373205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15958] ppid=15936 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15958/stat : 15958 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405406116 8262082560 29877 33554432000 4194304 4196468 140731045564576 140062768135312 140063284373205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15959] ppid=15936 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15959/stat : 15959 (java) S 15936 15936 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405406116 8262082560 29877 33554432000 4194304 4196468 140731045564576 140062767082512 140063284373205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15960] ppid=15936 vsize=8068440 memory=140531732805661 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15960/stat : 15960 (java) S 15936 15936 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405406118 8262082560 29877 33554432000 4194304 4196468 140731045564576 140062730848368 140063284374146 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15961] ppid=15936 vsize=8068440 memory=140531732722446 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15961/stat : 15961 (java) S 15936 15936 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405406118 8262082560 29877 33554432000 4194304 4196468 140731045564576 140062171849504 140063284373205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15962] ppid=15936 vsize=8068440 memory=140531732721360 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15962/stat : 15962 (java) S 15936 15936 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405406118 8262082560 29877 33554432000 4194304 4196468 140731045564576 140062037628016 140063284373205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15963] ppid=15936 vsize=8068440 memory=-7175753852218530195 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15963/stat : 15963 (java) S 15936 15936 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405406121 8262082560 29877 33554432000 4194304 4196468 140731045564576 140061663123536 140063284381595 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15964] ppid=15936 vsize=8068440 memory=-5587106306044206369 CPUtime=0.09 cores=1,3,5,7
/proc/15954/task/15964/stat : 15964 (java) S 15936 15936 12870 0 -1 1077944384 627 0 0 0 9 0 0 0 20 0 19 0 405406121 8262082560 29877 33554432000 4194304 4196468 140731045564576 140062729796208 140063284374146 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15965] ppid=15936 vsize=8068440 memory=-2331055268852096867 CPUtime=0.1 cores=1,3,5,7
/proc/15954/task/15965/stat : 15965 (java) S 15936 15936 12870 0 -1 1077944384 425 0 0 0 10 0 0 0 20 0 19 0 405406121 8262082560 29877 33554432000 4194304 4196468 140731045564576 140062728743408 140063284374146 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15966] ppid=15936 vsize=8068440 memory=-3833726747341067623 CPUtime=0.21 cores=1,3,5,7
/proc/15954/task/15966/stat : 15966 (java) S 15936 15936 12870 0 -1 1077944384 521 0 0 0 21 0 0 0 20 0 19 0 405406121 8262082560 29877 33554432000 4194304 4196468 140731045564576 140062727691120 140063284374146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15967] ppid=15936 vsize=8068440 memory=-7361174377247368086 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15967/stat : 15967 (java) S 15936 15936 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405406121 8262082560 29877 33554432000 4194304 4196468 140731045564576 140061165218784 140063284373205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15968] ppid=15936 vsize=8068440 memory=7681421203011431829 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15968/stat : 15968 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405406121 8262082560 29877 33554432000 4194304 4196468 140731045564576 140062726638000 140063284374146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15970] ppid=15936 vsize=8068440 memory=8259761640684150880 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15970/stat : 15970 (java) S 15936 15936 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405406189 8262082560 29877 33554432000 4194304 4196468 140731045564576 140062718604224 140063284387609 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15972] ppid=15936 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15972/stat : 15972 (java) S 15936 15936 12870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 405406189 8262082560 29877 33554432000 4194304 4196468 140731045564576 140060628332080 140063284384925 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15973] ppid=15936 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15973/stat : 15973 (java) S 15936 15936 12870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405406189 8262082560 29877 33554432000 4194304 4196468 140731045564576 140060359901104 140063284384925 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15974] ppid=15936 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15974/stat : 15974 (java) S 15936 15936 12870 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 405406191 8262082560 29877 33554432000 4194304 4196468 140731045564576 140060762561968 140063284373205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
Current children cumulated CPU time: 20.7 s
Current children cumulated vsize: 8220232 KiB
Current children cumulated memory: 135240 KiB
[startup+8.20088 s]
/proc/loadavg: 2.31 2.08 2.07 3/239 15974
/proc/meminfo: memFree=31015608/32770624 swapFree=66932884/67108860
[pid=15936] ppid=15933 vsize=113128 memory=1476 CPUtime=19.08 cores=1,3,5,7
/proc/15936/stat : 15936 (scop.sh) S 15933 15936 12870 0 -1 4202496 583 33577 0 0 0 0 1866 42 20 0 1 0 405405433 115843072 369 33554432000 4194304 5098028 140732193514960 140732193511704 140583114920572 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29941760 140732193522531 140732193522800 140732193522800 140732193525709 0
/proc/15936/statm: 28282 369 311 221 0 87 0
[pid=15954] ppid=15936 vsize=8068440 memory=119508 CPUtime=1.19 cores=1,3,5,7
/proc/15954/stat : 15954 (java) S 15936 15936 12870 0 -1 1077944320 20372 0 0 0 112 7 0 0 20 0 19 0 405406115 8262082560 29877 33554432000 4194304 4196468 140731045564576 140731045547120 140063284362999 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
/proc/15954/statm: 2017110 29877 3211 1 0 1978454 0
[pid=15969] ppid=15954 vsize=39476 memory=15536 CPUtime=0.63 cores=1,3,5,7
/proc/15969/stat : 15969 (cryptominisat5) R 15954 15936 12870 0 -1 4202496 4262 0 0 0 63 0 0 0 20 0 1 0 405406188 40423424 3884 33554432000 4194304 4451008 140727141366624 140727141361176 140511529685894 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 16519168 140727141372860 140727141372992 140727141372992 140727141375942 0
/proc/15969/statm: 9869 3884 645 63 0 3596 0
[pid=15954/tid=15955] ppid=15936 vsize=8068440 memory=6656426216303648864 CPUtime=0.76 cores=1,3,5,7
/proc/15954/task/15955/stat : 15955 (java) S 15936 15936 12870 0 -1 1077944384 17387 0 0 0 70 6 0 0 20 0 19 0 405406115 8262082560 29877 33554432000 4194304 4196468 140731045564576 140063256203168 140063284373205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15956] ppid=15936 vsize=8068440 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15956/stat : 15956 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405406116 8262082560 29877 33554432000 4194304 4196468 140731045564576 140063288605584 140063284373205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15957] ppid=15936 vsize=8068440 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15957/stat : 15957 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405406116 8262082560 29877 33554432000 4194304 4196468 140731045564576 140063113247504 140063284373205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15958] ppid=15936 vsize=8068440 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15958/stat : 15958 (java) S 15936 15936 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405406116 8262082560 29877 33554432000 4194304 4196468 140731045564576 140062768135312 140063284373205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15959] ppid=15936 vsize=8068440 memory=69694836968170 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15959/stat : 15959 (java) S 15936 15936 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405406116 8262082560 29877 33554432000 4194304 4196468 140731045564576 140062767082512 140063284373205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15960] ppid=15936 vsize=8068440 memory=8667365522 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15960/stat : 15960 (java) S 15936 15936 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405406118 8262082560 29877 33554432000 4194304 4196468 140731045564576 140062730848368 140063284374146 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15961] ppid=15936 vsize=8068440 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15961/stat : 15961 (java) S 15936 15936 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405406118 8262082560 29877 33554432000 4194304 4196468 140731045564576 140062171849504 140063284373205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15962] ppid=15936 vsize=8068440 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15962/stat : 15962 (java) S 15936 15936 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405406118 8262082560 29877 33554432000 4194304 4196468 140731045564576 140062037628016 140063284373205 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15963] ppid=15936 vsize=8068440 memory=744 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15963/stat : 15963 (java) S 15936 15936 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405406121 8262082560 29877 33554432000 4194304 4196468 140731045564576 140061663123536 140063284381595 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15964] ppid=15936 vsize=8068440 memory=8296 CPUtime=0.09 cores=1,3,5,7
/proc/15954/task/15964/stat : 15964 (java) S 15936 15936 12870 0 -1 1077944384 627 0 0 0 9 0 0 0 20 0 19 0 405406121 8262082560 29877 33554432000 4194304 4196468 140731045564576 140062729796208 140063284374146 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15965] ppid=15936 vsize=8068440 memory=5948 CPUtime=0.1 cores=1,3,5,7
/proc/15954/task/15965/stat : 15965 (java) S 15936 15936 12870 0 -1 1077944384 425 0 0 0 10 0 0 0 20 0 19 0 405406121 8262082560 29877 33554432000 4194304 4196468 140731045564576 140062728743408 140063284374146 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15966] ppid=15936 vsize=8068440 memory=1124 CPUtime=0.21 cores=1,3,5,7
/proc/15954/task/15966/stat : 15966 (java) S 15936 15936 12870 0 -1 1077944384 521 0 0 0 21 0 0 0 20 0 19 0 405406121 8262082560 29877 33554432000 4194304 4196468 140731045564576 140062727691120 140063284374146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15967] ppid=15936 vsize=8068440 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15967/stat : 15967 (java) S 15936 15936 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405406121 8262082560 29877 33554432000 4194304 4196468 140731045564576 140061165218784 140063284373205 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15968] ppid=15936 vsize=8068440 memory=11928 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15968/stat : 15968 (java) S 15936 15936 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405406121 8262082560 29877 33554432000 4194304 4196468 140731045564576 140062726638000 140063284374146 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15970] ppid=15936 vsize=8068440 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15970/stat : 15970 (java) S 15936 15936 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405406189 8262082560 29877 33554432000 4194304 4196468 140731045564576 140062718604224 140063284387609 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15972] ppid=15936 vsize=8068440 memory=5748 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15972/stat : 15972 (java) S 15936 15936 12870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 405406189 8262082560 29877 33554432000 4194304 4196468 140731045564576 140060628332080 140063284384925 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15973] ppid=15936 vsize=8068440 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15973/stat : 15973 (java) S 15936 15936 12870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405406189 8262082560 29877 33554432000 4194304 4196468 140731045564576 140060359901104 140063284384925 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
[pid=15954/tid=15974] ppid=15936 vsize=8068440 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/15954/task/15974/stat : 15974 (java) S 15936 15936 12870 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 405406191 8262082560 29877 33554432000 4194304 4196468 140731045564576 140060762561968 140063284373205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8286208 140731045573627 140731045573786 140731045573786 140731045576655 0
Current children cumulated CPU time: 20.9 s
Current children cumulated vsize: 8221044 KiB
Current children cumulated memory: 136520 KiB
Child status: 0
Real time (s): 8.24388
CPU time (s): 20.988
CPU user time (s): 20.4712
CPU system time (s): 0.516785
CPU usage (%): 254.589
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 1736828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.4712
system time used= 0.516785
maximum resident set size= 1735456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59443
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5967
involuntary context switches= 75
# summary of solver processes directly reported to runsolver:
# pid: 15936
# total CPU time (s): 20.988
# total CPU user time (s): 20.4712
# total CPU system time (s): 0.516785
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.084223 second user time and 0.126335 second system time
The end