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-1357-serial-file.bin HOME/instance-4387600-1568286184.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 13:02:24 CEST 2019
0.66/0.54 c PID: 1360
0.66/0.54 c IP: 172.20.3.146
0.66/0.54 c HOST: node146.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.23/0.86 c (0,0) Parsing End
1.23/0.86 c (0,0) CSP: 35 int (0 aux), 0 bool (0 aux), 27 ctr, max domain size 26
1.23/0.86 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.23/0.86 c (0,0) Constraint Name Generate Begin
1.23/0.87 c (0,0) Ctr:HOME/instance-4387600-1568286184.xml,AllDifferent:Dist:Eq:Var
1.23/0.87 c (0,0) Constraint Name Generate End
1.23/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.23/0.87 c (0,0) CSP to CSPinCNF Begin
1.40/0.97 c (0,0) translated 3 (10%) constraints
1.40/0.98 c (0,0) translated 6 (20%) constraints
1.40/0.99 c (0,0) translated 9 (30%) constraints
1.40/1.00 c (0,0) translated 11 (40%) constraints
1.60/1.01 c (0,0) translated 14 (50%) constraints
1.60/1.02 c (0,0) translated 17 (60%) constraints
1.60/1.03 c (0,0) translated 19 (70%) constraints
1.60/1.03 c (0,0) translated 22 (80%) constraints
1.60/1.04 c (0,0) translated 25 (90%) constraints
1.60/1.07 c (0,0) translated 27 (100%) constraints
2.05/1.20 c (0,0) ===========================================
2.05/1.22 c (0,0) Hybrid: #OE=35, #LE=0
2.05/1.22 c (0,0) Hybrid
2.05/1.22 c (0,0) ===========================================
2.05/1.23 c (0,0) translated 45 (10%) constraints
2.05/1.24 c (0,0) translated 90 (20%) constraints
2.05/1.25 c (0,0) translated 135 (30%) constraints
2.05/1.26 c (0,0) translated 180 (40%) constraints
2.05/1.27 c (0,0) translated 225 (50%) constraints
2.05/1.27 c (0,0) translated 270 (60%) constraints
2.05/1.28 c (0,0) translated 315 (70%) constraints
2.05/1.29 c (0,0) translated 360 (80%) constraints
2.05/1.29 c (0,0) translated 405 (90%) constraints
2.63/1.42 c (0,0) translated 450 (100%) constraints
2.63/1.43 c (0,0) CSP to CSPinCNF End
2.63/1.43 c (0,0) CSP: 35 int (0 aux), 625 bool (625 aux), 1700 ctr, max domain size 26
2.63/1.43 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.63/1.43 c (0,0) CSPinCNF Propagation Begin
2.63/1.46 c (0,0) 0 values, 0 unsatisfiable literals, and 51 valid clauses are removed
2.63/1.46 c (0,0) CSPinCNF Propagation End
2.63/1.46 c (0,0) CSP: 35 int (0 aux), 625 bool (625 aux), 1649 ctr, max domain size 26
2.63/1.46 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.63/1.47 c (0,0) Hybrid: #OE=660, #LE=0
2.63/1.47 c (0,0) Simplify CSPinCNF Begin
2.93/1.52 c (0,0) Simplify CSPinCNF End
2.93/1.52 c (0,0) CSP: 35 int (0 aux), 1365 bool (1365 aux), 2389 ctr, max domain size 26
2.93/1.52 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.93/1.52 c (0,0) Calculate Precise Domain Begin
2.93/1.52 c (1,0) 0 values are removed by re-calculation
2.93/1.52 c (1,0) Calculate Precise Domain End
2.93/1.52 c (1,0) CSP: 35 int (0 aux), 1365 bool (1365 aux), 2389 ctr, max domain size 26
2.93/1.52 c (1,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.93/1.52 c (1,0) CSPinCNF to SatSolver Begin
4.25/1.91 c (1,1) 239 (10 %) CSP clauses are encoded (0 SAT variables, 35328 SAT clauses)
4.25/1.95 c (1,1) 478 (20 %) CSP clauses are encoded (0 SAT variables, 39374 SAT clauses)
4.25/1.98 c (1,1) 717 (30 %) CSP clauses are encoded (0 SAT variables, 43429 SAT clauses)
4.25/2.01 c (1,1) 956 (40 %) CSP clauses are encoded (0 SAT variables, 47508 SAT clauses)
4.58/2.03 c (1,1) 1195 (50 %) CSP clauses are encoded (0 SAT variables, 51059 SAT clauses)
4.58/2.03 c (1,1) 1434 (60 %) CSP clauses are encoded (0 SAT variables, 51298 SAT clauses)
4.58/2.04 c (1,1) 1673 (70 %) CSP clauses are encoded (0 SAT variables, 51537 SAT clauses)
4.58/2.04 c (1,1) 1912 (80 %) CSP clauses are encoded (0 SAT variables, 51776 SAT clauses)
4.58/2.04 c (1,1) 2151 (90 %) CSP clauses are encoded (0 SAT variables, 52015 SAT clauses)
4.58/2.05 c (1,1) 2389 (100 %) CSP clauses are encoded (0 SAT variables, 52253 SAT clauses)
4.58/2.05 c (1,1) CSPinCNF to SatSolver End
4.58/2.05 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.58/2.05 c (1,1) 2215 bool, 52254 clause
4.58/2.05 c (1,1) Export Begin
4.89/2.13 c (1,1) Export to HOME/scop-1357-serial-file.bin
4.89/2.13 c (1,1) Export End
4.89/2.13 c (1,1) Export File Size: 0.01 MB
4.89/2.13 c (1,1) 0,0,0,0,0,1,1,STOP-AFTER(DIMACS)
4.89/2.13 c END-Prog: Thu Sep 12 13:02:26 CEST 2019
4.89/2.14 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-1357-serial-file.bin
4.96/2.59 c (0,0) Read Serial File Begin
4.96/2.59 c (0,0) HOME/scop-1357-serial-file.bin
4.96/2.79 c (0,0) Read Serial File End
4.96/2.80
4.96/2.80 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
4.96/2.80 (Solving Process)
4.96/2.80
4.96/2.82 c BEGIN-Prog: Thu Sep 12 13:02:27 CEST 2019
4.96/2.82 c PID: 1375
4.96/2.82 c IP: 172.20.3.146
4.96/2.82 c HOST: node146.alineos.net
4.96/2.83 c (0,0) SatSolver.solve Begin
4.96/2.83 c (0,0) HOME/cryptominisat5 HOME/instance-4387600-1568286184.xml-scop-1360.cnf
4.96/2.86 c (0,0) c Outputting solution to console
4.96/2.86 c (0,0) c CryptoMiniSat version 5.6.8
4.96/2.86 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
4.96/2.86 c (0,0) c CMS SHA revision GIT-notfound
4.96/2.86 c (0,0) c CMS is MIT licensed
4.96/2.86 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
4.96/2.86 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
4.96/2.86 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387600-1568286184.xml-scop-1360.cnf
4.96/2.86 c (0,0) c Reading file 'HOME/instance-4387600-1568286184.xml-scop-1360.cnf'
4.96/2.86 c (0,0) c -- header says num vars: 2215
4.96/2.86 c (0,0) c -- header says num clauses: 52254
4.96/2.87 c (0,0) c -- clauses added: 52254
4.96/2.87 c (0,0) c -- xor clauses added: 0
4.96/2.87 c (0,0) c -- vars added 2215
4.96/2.87 c (0,0) c Parsing time: 0.02 s
4.96/2.88 c (0,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
4.96/2.88 c (0,0) c [distill] long cls tried: 7/7 cl-short:7 lit-r:13 T: 0.00 T-out: N T-r: 99.99%
6.33/3.18 c (0,0) c [distill] long cls tried: 271/269 cl-short:271 lit-r:56 T: 0.02 T-out: N T-r: 99.75%
6.72/3.57 c (1,0) c [distill] long cls tried: 175/441 cl-short:175 lit-r:64 T: 0.02 T-out: N T-r: 99.79%
6.92/3.73 c (1,0) c glue 1 56 8193 2215 48K 3865 3.30 3.20 490 1280 6438 15 41.28 41.21
7.12/3.98 c (1,0) c ------- FINAL TOTAL SEARCH STATS ---------
7.12/3.98 c (1,0) c UIP search time : 1.10 (98.27 % time)
7.12/3.98 c (1,0) c restarts : 63 (162.21 confls per restart)
7.12/3.98 c (1,0) c blocked restarts : 0 (0.00 per normal restart)
7.12/3.98 c (1,0) c time : 1.10
7.12/3.98 c (1,0) c decisions : 19995 (0.00 % random)
7.12/3.98 c (1,0) c propagations : 3768257
7.12/3.98 c (1,0) c decisions/conflicts : 1.96
7.12/3.98 c (1,0) c conflicts : 10219 (9281.31 / sec)
7.12/3.98 c (1,0) c conf lits non-minim : 584019 (57.15 lit/confl)
7.12/3.98 c (1,0) c conf lits final : 42.94
7.12/3.98 c (1,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
7.12/3.98 c (1,0) c red which0 : 555 (5.43 % of confl)
7.12/3.98 c (1,0) c props/decision : 0.00
7.12/3.98 c (1,0) c props/conflict : 0.00
7.12/3.98 c (1,0) c 0-depth assigns : 0 (0.00 % vars)
7.12/3.98 c (1,0) c 0-depth assigns by CNF : 0 (0.00 % vars)
7.12/3.98 c (1,0) c reduceDB time : 0.00 (0.00 % time)
7.12/3.98 c (1,0) c OccSimplifier time : 0.00 (0.00 % time)
7.12/3.98 c (1,0) c [occur] 0.00 is overhead
7.12/3.98 c (1,0) c [occur] link-in T: 0.00 cleanup T: 0.00
7.12/3.98 c (1,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
7.12/3.98 c (1,0) c SCC time : 0.00 (0.00 % time)
7.12/3.98 c (1,0) c [scc] new: 0 BP 0M T: 0.00
7.12/3.98 c (1,0) c vrep replace time : 0.00 (0.00 % time)
7.12/3.98 c (1,0) c vrep tree roots : 0
7.12/3.98 c (1,0) c vrep trees' crown : 0 (0.00 leafs/tree)
7.12/3.98 c (1,0) c distill time : 0.04 (3.93 % time)
7.12/3.98 c (1,0) c strength cache-irred time: 0.00 (0.00 % time)
7.12/3.98 c (1,0) c strength cache-red time : 0.00 (0.00 % time)
7.12/3.98 c (1,0) c Conflicts in UIP : 10219 (9120.99 confl/time_this_thread)
7.12/3.98 c (1,0) c Mem used : 11.75 MB
7.12/3.98 c (1,0) c Total time (this thread) : 1.12
7.12/3.98 c (1,0) s SATISFIABLE
7.28/4.02 c (1,0) SatSolver.solve End
7.28/4.02 c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
7.28/4.02 c (1,0) Show results Begin
7.28/4.10 c (1,0) ce[0][0][1] = 1
7.28/4.10 c (1,0) ce[0][0][2] = 18
7.28/4.10 c (1,0) ce[0][0][3] = 7
7.28/4.10 c (1,0) ce[0][0][4] = 14
7.28/4.10 c (1,0) ce[0][1][2] = 19
7.28/4.10 c (1,0) ce[0][1][3] = 6
7.28/4.10 c (1,0) ce[0][1][4] = 15
7.28/4.10 c (1,0) ce[0][2][3] = 25
7.28/4.10 c (1,0) ce[0][2][4] = 4
7.28/4.10 c (1,0) ce[0][3][4] = 21
7.28/4.10 c (1,0) ce[1][0][1] = 3
7.28/4.10 c (1,0) ce[1][0][2] = 17
7.28/4.10 c (1,0) ce[1][0][3] = 5
7.28/4.10 c (1,0) ce[1][0][4] = 8
7.28/4.10 c (1,0) ce[1][1][2] = 20
7.28/4.10 c (1,0) ce[1][1][3] = 2
7.28/4.10 c (1,0) ce[1][1][4] = 11
7.28/4.10 c (1,0) ce[1][2][3] = 22
7.28/4.10 c (1,0) ce[1][2][4] = 9
7.28/4.10 c (1,0) ce[1][3][4] = 13
7.28/4.10 c (1,0) cie[0][0] = 12
7.28/4.10 c (1,0) cie[0][1] = 16
7.28/4.10 c (1,0) cie[0][2] = 23
7.28/4.10 c (1,0) cie[0][3] = 24
7.28/4.10 c (1,0) cie[0][4] = 10
7.28/4.10 c (1,0) cn[0][0] = 18
7.28/4.10 c (1,0) cn[0][1] = 19
7.28/4.10 c (1,0) cn[0][2] = 0
7.28/4.10 c (1,0) cn[0][3] = 25
7.28/4.10 c (1,0) cn[0][4] = 4
7.28/4.10 c (1,0) cn[1][0] = 6
7.28/4.10 c (1,0) cn[1][1] = 3
7.28/4.10 c (1,0) cn[1][2] = 23
7.28/4.10 c (1,0) cn[1][3] = 1
7.28/4.10 c (1,0) cn[1][4] = 14
7.28/4.10 s SATISFIABLE
7.28/4.10 v <instantiation>
7.28/4.10 v <list>cn[0][0] cn[0][1] cn[0][2] cn[0][3] cn[0][4] cn[1][0] cn[1][1] cn[1][2] cn[1][3] cn[1][4] ce[0][0][1] ce[0][0][2] ce[0][0][3] ce[0][0][4] ce[0][1][2] ce[0][1][3] ce[0][1][4] ce[0][2][3] ce[0][2][4] ce[0][3][4] ce[1][0][1] ce[1][0][2] ce[1][0][3] ce[1][0][4] ce[1][1][2] ce[1][1][3] ce[1][1][4] ce[1][2][3] ce[1][2][4] ce[1][3][4] cie[0][0] cie[0][1] cie[0][2] cie[0][3] cie[0][4]</list>
7.28/4.10 v <values>18 19 0 25 4 6 3 23 1 14 1 18 7 14 19 6 15 25 4 21 3 17 5 8 20 2 11 22 9 13 12 16 23 24 10</values>
7.28/4.10 v </instantiation>
7.28/4.10 c (1,0) Show results End
7.28/4.10 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
7.28/4.10 c (1,0) 1,1,STOP-AFTER(ALL)
7.28/4.10 c END-Prog: Thu Sep 12 13:02:28 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 (14487 MiB free)
memory of node 1: 16384 MiB (15683 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387600-1568286184/watcher-4387600-1568286184 -o /tmp/evaluation-result-4387600-1568286184/solver-4387600-1568286184 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568286001-1043 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387600-1568286184.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
solver pid=1357, runsolver pid=1354
Current StackSize limit: 8192 KiB
[startup+0.102486 s]*
/proc/loadavg: 2.16 2.03 2.05 4/236 1374
/proc/meminfo: memFree=30833768/32770624 swapFree=66999536/67108860
[pid=1357] ppid=1354 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/1357/stat : 1357 (scop.sh) S 1354 1357 31842 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 404532452 115843072 349 33554432000 4194304 5098028 140734566365376 140734566362632 139855222899324 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16875520 140734566368099 140734566368368 140734566368368 140734566371277 0
/proc/1357/statm: 28282 349 296 221 0 87 0
[pid=1360] ppid=1357 vsize=15016308 memory=76120 CPUtime=0.12 cores=1,3,5,7
/proc/1360/stat : 1360 (java) S 1357 1357 31842 0 -1 1077944320 7816 0 0 0 9 3 0 0 20 0 15 0 404532452 15376699392 19030 33554432000 4194304 4196468 140734161863680 140734161846224 140210471243511 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
/proc/1360/statm: 3754077 19030 2893 1 0 3716482 0
[pid=1360/tid=1361] ppid=1357 vsize=15013720 memory=-7812800577974661515 CPUtime=0.09 cores=1,3,5,7
/proc/1360/task/1361/stat : 1361 (java) R 1357 1357 31842 0 -1 4202560 6377 0 0 0 7 2 0 0 20 0 15 0 404532452 15374049280 18896 33554432000 4194304 4196468 140734161863680 140210443027760 140210463923229 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1362] ppid=1357 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1362/stat : 1362 (java) S 1357 1357 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404532454 15374049280 18962 33554432000 4194304 4196468 140734161863680 140210475486352 140210471253717 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1363] ppid=1357 vsize=15013720 memory=140648563914368 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1363/stat : 1363 (java) S 1357 1357 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404532454 15374049280 18962 33554432000 4194304 4196468 140734161863680 140210289642512 140210471253717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1364] ppid=1357 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1364/stat : 1364 (java) S 1357 1357 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404532454 15374049280 18962 33554432000 4194304 4196468 140734161863680 140210288589712 140210471253717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1365] ppid=1357 vsize=15013720 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1365/stat : 1365 (java) S 1357 1357 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404532454 15374049280 18962 33554432000 4194304 4196468 140734161863680 140210287536912 140210471253717 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1366] ppid=1357 vsize=15013720 memory=140648563914368 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1366/stat : 1366 (java) S 1357 1357 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404532455 15374049280 18962 33554432000 4194304 4196468 140734161863680 140209508600176 140210471254658 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1367] ppid=1357 vsize=15013720 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1367/stat : 1367 (java) S 1357 1357 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404532456 15374049280 19028 33554432000 4194304 4196468 140734161863680 140209006044192 140210471253717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1368] ppid=1357 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1368/stat : 1368 (java) S 1357 1357 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404532456 15374049280 19028 33554432000 4194304 4196468 140734161863680 140208737608560 140210471253717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1369] ppid=1357 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1369/stat : 1369 (java) S 1357 1357 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404532458 15374049280 19028 33554432000 4194304 4196468 140734161863680 140208363099984 140210471262107 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1370] ppid=1357 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1370/stat : 1370 (java) S 1357 1357 31842 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 404532458 15374049280 19028 33554432000 4194304 4196468 140734161863680 140209507548016 140210471254658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1371] ppid=1357 vsize=15013720 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1371/stat : 1371 (java) S 1357 1357 31842 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 404532458 15374049280 19028 33554432000 4194304 4196468 140734161863680 140209506495216 140210471254658 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1372] ppid=1357 vsize=15013720 memory=140648563914368 CPUtime=0.01 cores=1,3,5,7
/proc/1360/task/1372/stat : 1372 (java) S 1357 1357 31842 0 -1 1077944384 474 0 0 0 1 0 0 0 20 0 15 0 404532458 15374049280 19028 33554432000 4194304 4196468 140734161863680 140209505442416 140210471254658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1373] ppid=1357 vsize=15013720 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1373/stat : 1373 (java) S 1357 1357 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404532458 15374049280 19028 33554432000 4194304 4196468 140734161863680 140207865195232 140210471253717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1374] ppid=1357 vsize=15013720 memory=140648563914368 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1374/stat : 1374 (java) S 1357 1357 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404532459 15374049280 19028 33554432000 4194304 4196468 140734161863680 140209504389808 140210471254658 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15129436 KiB
Current children cumulated memory: 77516 KiB
[startup+0.211054 s]*
/proc/loadavg: 2.16 2.03 2.05 5/236 1374
/proc/meminfo: memFree=30819756/32770624 swapFree=66999536/67108860
[pid=1357] ppid=1354 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/1357/stat : 1357 (scop.sh) S 1354 1357 31842 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 404532452 115843072 349 33554432000 4194304 5098028 140734566365376 140734566362632 139855222899324 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16875520 140734566368099 140734566368368 140734566368368 140734566371277 0
/proc/1357/statm: 28282 349 296 221 0 87 0
[pid=1360] ppid=1357 vsize=15012696 memory=85920 CPUtime=0.25 cores=1,3,5,7
/proc/1360/stat : 1360 (java) S 1357 1357 31842 0 -1 1077944320 11512 0 0 0 21 4 0 0 20 0 15 0 404532452 15373000704 21480 33554432000 4194304 4196468 140734161863680 140734161846224 140210471243511 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
/proc/1360/statm: 3753174 21480 2963 1 0 3715579 0
[pid=1360/tid=1361] ppid=1357 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/1360/task/1361/stat : 1361 (java) R 1357 1357 31842 0 -1 4202560 9246 0 0 0 16 3 0 0 20 0 15 0 404532452 15373000704 21480 33554432000 4194304 4196468 140734161863680 140210443059152 140210455287141 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1362] ppid=1357 vsize=15012696 memory=539 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1362/stat : 1362 (java) S 1357 1357 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404532454 15373000704 21480 33554432000 4194304 4196468 140734161863680 140210475486352 140210471253717 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1363] ppid=1357 vsize=15012696 memory=140648563940364 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1363/stat : 1363 (java) S 1357 1357 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404532454 15373000704 21480 33554432000 4194304 4196468 140734161863680 140210289642512 140210471253717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1364] ppid=1357 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1364/stat : 1364 (java) S 1357 1357 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404532454 15373000704 21480 33554432000 4194304 4196468 140734161863680 140210288589712 140210471253717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1365] ppid=1357 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1365/stat : 1365 (java) S 1357 1357 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404532454 15373000704 21480 33554432000 4194304 4196468 140734161863680 140210287536912 140210471253717 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1366] ppid=1357 vsize=15012696 memory=140648563914368 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1366/stat : 1366 (java) S 1357 1357 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404532455 15373000704 21480 33554432000 4194304 4196468 140734161863680 140209508600176 140210471254658 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1367] ppid=1357 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1367/stat : 1367 (java) S 1357 1357 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404532456 15373000704 21480 33554432000 4194304 4196468 140734161863680 140209006044192 140210471253717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1368] ppid=1357 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1368/stat : 1368 (java) S 1357 1357 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404532456 15373000704 21480 33554432000 4194304 4196468 140734161863680 140208737608560 140210471253717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1369] ppid=1357 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1369/stat : 1369 (java) S 1357 1357 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404532458 15373000704 21480 33554432000 4194304 4196468 140734161863680 140208363099984 140210471262107 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1370] ppid=1357 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1360/task/1370/stat : 1370 (java) S 1357 1357 31842 0 -1 1077944384 309 0 0 0 1 0 0 0 20 0 15 0 404532458 15373000704 21480 33554432000 4194304 4196468 140734161863680 140209507548016 140210471254658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1371] ppid=1357 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1371/stat : 1371 (java) S 1357 1357 31842 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 404532458 15373000704 21480 33554432000 4194304 4196468 140734161863680 140209506495216 140210471254658 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1372] ppid=1357 vsize=15012696 memory=140648563914368 CPUtime=0.03 cores=1,3,5,7
/proc/1360/task/1372/stat : 1372 (java) R 1357 1357 31842 0 -1 4202560 492 0 0 0 3 0 0 0 20 0 15 0 404532458 15373000704 21480 33554432000 4194304 4196468 140734161863680 140209505442416 140210471264858 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1373] ppid=1357 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1373/stat : 1373 (java) S 1357 1357 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404532458 15373000704 21480 33554432000 4194304 4196468 140734161863680 140207865195232 140210471253717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1374] ppid=1357 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1374/stat : 1374 (java) S 1357 1357 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404532459 15373000704 21480 33554432000 4194304 4196468 140734161863680 140209504389808 140210471254658 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87316 KiB
[startup+0.310889 s]*
/proc/loadavg: 2.16 2.03 2.05 3/236 1374
/proc/meminfo: memFree=30816344/32770624 swapFree=66999536/67108860
[pid=1357] ppid=1354 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/1357/stat : 1357 (scop.sh) S 1354 1357 31842 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 404532452 115843072 349 33554432000 4194304 5098028 140734566365376 140734566362632 139855222899324 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16875520 140734566368099 140734566368368 140734566368368 140734566371277 0
/proc/1357/statm: 28282 349 296 221 0 87 0
[pid=1360] ppid=1357 vsize=15012696 memory=90216 CPUtime=0.42 cores=1,3,5,7
/proc/1360/stat : 1360 (java) S 1357 1357 31842 0 -1 1077944320 12542 0 0 0 38 4 0 0 20 0 15 0 404532452 15373000704 22554 33554432000 4194304 4196468 140734161863680 140734161846224 140210471243511 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
/proc/1360/statm: 3753174 22554 3074 1 0 3715579 0
[pid=1360/tid=1361] ppid=1357 vsize=15012696 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/1360/task/1361/stat : 1361 (java) R 1357 1357 31842 0 -1 4202560 10053 0 0 0 26 4 0 0 20 0 15 0 404532452 15373000704 22554 33554432000 4194304 4196468 140734161863680 140210443055856 140210452807110 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1362] ppid=1357 vsize=15012696 memory=532 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1362/stat : 1362 (java) S 1357 1357 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404532454 15373000704 22554 33554432000 4194304 4196468 140734161863680 140210475486352 140210471253717 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1363] ppid=1357 vsize=15012696 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1363/stat : 1363 (java) S 1357 1357 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404532454 15373000704 22554 33554432000 4194304 4196468 140734161863680 140210289642512 140210471253717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1364] ppid=1357 vsize=15012696 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1364/stat : 1364 (java) S 1357 1357 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404532454 15373000704 22554 33554432000 4194304 4196468 140734161863680 140210288589712 140210471253717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1365] ppid=1357 vsize=15012696 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1365/stat : 1365 (java) S 1357 1357 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404532454 15373000704 22554 33554432000 4194304 4196468 140734161863680 140210287536912 140210471253717 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1366] ppid=1357 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1366/stat : 1366 (java) S 1357 1357 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404532455 15373000704 22554 33554432000 4194304 4196468 140734161863680 140209508600176 140210471254658 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1367] ppid=1357 vsize=15012696 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1367/stat : 1367 (java) S 1357 1357 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404532456 15373000704 22554 33554432000 4194304 4196468 140734161863680 140209006044192 140210471253717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1368] ppid=1357 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1368/stat : 1368 (java) S 1357 1357 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404532456 15373000704 22554 33554432000 4194304 4196468 140734161863680 140208737608560 140210471253717 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1369] ppid=1357 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1369/stat : 1369 (java) S 1357 1357 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404532458 15373000704 22554 33554432000 4194304 4196468 140734161863680 140208363099984 140210471262107 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1370] ppid=1357 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/1360/task/1370/stat : 1370 (java) S 1357 1357 31842 0 -1 1077944384 423 0 0 0 3 0 0 0 20 0 15 0 404532458 15373000704 22554 33554432000 4194304 4196468 140734161863680 140209507548016 140210471254658 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1371] ppid=1357 vsize=15012696 memory=170985786 CPUtime=0.01 cores=1,3,5,7
/proc/1360/task/1371/stat : 1371 (java) S 1357 1357 31842 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 15 0 404532458 15373000704 22554 33554432000 4194304 4196468 140734161863680 140209506495216 140210471254658 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1372] ppid=1357 vsize=15012696 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/1360/task/1372/stat : 1372 (java) S 1357 1357 31842 0 -1 1077944384 535 0 0 0 7 0 0 0 20 0 15 0 404532458 15373000704 22554 33554432000 4194304 4196468 140734161863680 140209505442416 140210471254658 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1373] ppid=1357 vsize=15012696 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1373/stat : 1373 (java) S 1357 1357 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404532458 15373000704 22554 33554432000 4194304 4196468 140734161863680 140207865195232 140210471253717 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1374] ppid=1357 vsize=15012696 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1374/stat : 1374 (java) S 1357 1357 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404532459 15373000704 22554 33554432000 4194304 4196468 140734161863680 140209504389808 140210471254658 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91612 KiB
[startup+0.702324 s]
/proc/loadavg: 2.16 2.03 2.05 3/236 1374
/proc/meminfo: memFree=30792284/32770624 swapFree=66999536/67108860
[pid=1357] ppid=1354 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/1357/stat : 1357 (scop.sh) S 1354 1357 31842 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 404532452 115843072 349 33554432000 4194304 5098028 140734566365376 140734566362632 139855222899324 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16875520 140734566368099 140734566368368 140734566368368 140734566371277 0
/proc/1357/statm: 28282 349 296 221 0 87 0
[pid=1360] ppid=1357 vsize=15021092 memory=130672 CPUtime=1.03 cores=1,3,5,7
/proc/1360/stat : 1360 (java) S 1357 1357 31842 0 -1 1077944320 20556 0 0 0 96 7 0 0 20 0 15 0 404532452 15381598208 32668 33554432000 4194304 4196468 140734161863680 140734161846224 140210471243511 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
/proc/1360/statm: 3755273 32668 3202 1 0 3716603 0
[pid=1360/tid=1361] ppid=1357 vsize=15021092 memory=57 CPUtime=0.68 cores=1,3,5,7
/proc/1360/task/1361/stat : 1361 (java) R 1357 1357 31842 0 -1 4202560 17520 0 0 0 62 6 0 0 20 0 15 0 404532452 15381598208 32668 33554432000 4194304 4196468 140734161863680 140210443075168 140209962460874 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1362] ppid=1357 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1362/stat : 1362 (java) S 1357 1357 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404532454 15381598208 32668 33554432000 4194304 4196468 140734161863680 140210475486352 140210471253717 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1363] ppid=1357 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1363/stat : 1363 (java) S 1357 1357 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404532454 15381598208 32668 33554432000 4194304 4196468 140734161863680 140210289642512 140210471253717 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1364] ppid=1357 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1364/stat : 1364 (java) S 1357 1357 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404532454 15381598208 32668 33554432000 4194304 4196468 140734161863680 140210288589712 140210471253717 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1365] ppid=1357 vsize=15021092 memory=1294 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1365/stat : 1365 (java) S 1357 1357 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404532454 15381598208 32668 33554432000 4194304 4196468 140734161863680 140210287536912 140210471253717 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1366] ppid=1357 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1366/stat : 1366 (java) S 1357 1357 31842 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404532455 15381598208 32668 33554432000 4194304 4196468 140734161863680 140209508600176 140210471254658 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1367] ppid=1357 vsize=15021092 memory=13 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1367/stat : 1367 (java) S 1357 1357 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404532456 15381598208 32668 33554432000 4194304 4196468 140734161863680 140209006044192 140210471253717 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1368] ppid=1357 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1368/stat : 1368 (java) S 1357 1357 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404532456 15381598208 32668 33554432000 4194304 4196468 140734161863680 140208737608560 140210471253717 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1369] ppid=1357 vsize=15021092 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1369/stat : 1369 (java) S 1357 1357 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404532458 15381598208 32668 33554432000 4194304 4196468 140734161863680 140208363099984 140210471262107 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1370] ppid=1357 vsize=15021092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1360/task/1370/stat : 1370 (java) S 1357 1357 31842 0 -1 1077944384 642 0 0 0 9 0 0 0 20 0 15 0 404532458 15381598208 32668 33554432000 4194304 4196468 140734161863680 140209507548016 140210471254658 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1371] ppid=1357 vsize=15021092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1360/task/1371/stat : 1371 (java) S 1357 1357 31842 0 -1 1077944384 394 0 0 0 8 0 0 0 20 0 15 0 404532458 15381598208 32668 33554432000 4194304 4196468 140734161863680 140209506495216 140210471254658 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1372] ppid=1357 vsize=15021092 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/1360/task/1372/stat : 1372 (java) S 1357 1357 31842 0 -1 1077944384 665 0 0 0 15 0 0 0 20 0 15 0 404532458 15381598208 32668 33554432000 4194304 4196468 140734161863680 140209505442416 140210471254658 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1373] ppid=1357 vsize=15021092 memory=964 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1373/stat : 1373 (java) S 1357 1357 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404532458 15381598208 32668 33554432000 4194304 4196468 140734161863680 140207865195232 140210471253717 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
[pid=1360/tid=1374] ppid=1357 vsize=15021092 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/1360/task/1374/stat : 1374 (java) S 1357 1357 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404532459 15381598208 32668 33554432000 4194304 4196468 140734161863680 140209504389808 140210471254658 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21061632 140734161871658 140734161872026 140734161872026 140734161874895 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 132068 KiB
[startup+1.50087 s]
/proc/loadavg: 2.16 2.03 2.05 4/236 1374
/proc/meminfo: memFree=30763128/32770624 swapFree=66999536/67108860
[pid=1357] ppid=1354 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/1357/stat : 1357 (scop.sh) S 1354 1357 31842 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 404532452 115843072 349 33554432000 4194304 5098028 140734566365376 140734566362632 139855222899324 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16875520 140734566368099 140734566368368 140734566368368 140734566371277 0
/proc/1357/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/loadavg: 2.16 2.03 2.05 3/241 1395
/proc/meminfo: memFree=30779672/32770624 swapFree=66999536/67108860
[pid=1357] ppid=1354 vsize=113128 memory=1476 CPUtime=4.96 cores=1,3,5,7
/proc/1357/stat : 1357 (scop.sh) S 1354 1357 31842 0 -1 4202496 583 26811 0 0 0 0 482 14 20 0 1 0 404532452 115843072 369 33554432000 4194304 5098028 140734566365376 140734566362120 139855222899324 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16875520 140734566368099 140734566368368 140734566368368 140734566371277 0
/proc/1357/statm: 28282 369 311 221 0 87 0
[pid=1375] ppid=1357 vsize=8068440 memory=117176 CPUtime=1.12 cores=1,3,5,7
/proc/1375/stat : 1375 (java) S 1357 1357 31842 0 -1 1077944320 20168 0 0 0 106 6 0 0 20 0 19 0 404532666 8262082560 29294 33554432000 4194304 4196468 140723632369072 140723632351616 140178511580919 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
/proc/1375/statm: 2017110 29294 3202 1 0 1978454 0
[pid=1390] ppid=1375 vsize=33280 memory=9664 CPUtime=0.34 cores=1,3,5,7
/proc/1390/stat : 1390 (cryptominisat5) R 1375 1357 31842 0 -1 4202496 2837 0 0 0 34 0 0 0 20 0 1 0 404532737 34078720 2416 33554432000 4194304 4451008 140723785770544 140723785766200 139833786164102 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 32030720 140723785774013 140723785774144 140723785774144 140723785777094 0
/proc/1390/statm: 8320 2416 638 63 0 2047 0
[pid=1375/tid=1376] ppid=1357 vsize=8068440 memory=960 CPUtime=0.74 cores=1,3,5,7
/proc/1375/task/1376/stat : 1376 (java) S 1357 1357 31842 0 -1 1077944384 17201 0 0 0 69 5 0 0 20 0 19 0 404532666 8262082560 29294 33554432000 4194304 4196468 140723632369072 140178483421088 140178511591125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1377] ppid=1357 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1377/stat : 1377 (java) S 1357 1357 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404532667 8262082560 29294 33554432000 4194304 4196468 140723632369072 140178515822864 140178511591125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1378] ppid=1357 vsize=8068440 memory=1978 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1378/stat : 1378 (java) S 1357 1357 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404532667 8262082560 29294 33554432000 4194304 4196468 140723632369072 140177996200336 140178511591125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1379] ppid=1357 vsize=8068440 memory=14240 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1379/stat : 1379 (java) S 1357 1357 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404532667 8262082560 29294 33554432000 4194304 4196468 140723632369072 140177995147792 140178511591125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1380] ppid=1357 vsize=8068440 memory=311 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1380/stat : 1380 (java) S 1357 1357 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404532667 8262082560 29294 33554432000 4194304 4196468 140723632369072 140177994095248 140178511591125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1381] ppid=1357 vsize=8068440 memory=10 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1381/stat : 1381 (java) S 1357 1357 31842 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 404532669 8262082560 29294 33554432000 4194304 4196468 140723632369072 140177957997040 140178511592066 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1382] ppid=1357 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1382/stat : 1382 (java) S 1357 1357 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404532669 8262082560 29294 33554432000 4194304 4196468 140723632369072 140177330660768 140178511591125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1383] ppid=1357 vsize=8068440 memory=1335 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1383/stat : 1383 (java) S 1357 1357 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404532669 8262082560 29294 33554432000 4194304 4196468 140723632369072 140177062225392 140178511591125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1384] ppid=1357 vsize=8068440 memory=11852 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1384/stat : 1384 (java) S 1357 1357 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404532672 8262082560 29294 33554432000 4194304 4196468 140723632369072 140176687717072 140178511599515 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1385] ppid=1357 vsize=8068440 memory=532 CPUtime=0.08 cores=1,3,5,7
/proc/1375/task/1385/stat : 1385 (java) S 1357 1357 31842 0 -1 1077944384 713 0 0 0 8 0 0 0 20 0 19 0 404532672 8262082560 29294 33554432000 4194304 4196468 140723632369072 140177956943856 140178511592066 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1386] ppid=1357 vsize=8068440 memory=1564 CPUtime=0.09 cores=1,3,5,7
/proc/1375/task/1386/stat : 1386 (java) S 1357 1357 31842 0 -1 1077944384 321 0 0 0 9 0 0 0 20 0 19 0 404532672 8262082560 29294 33554432000 4194304 4196468 140723632369072 140177955891312 140178511592066 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1387] ppid=1357 vsize=8068440 memory=928 CPUtime=0.18 cores=1,3,5,7
/proc/1375/task/1387/stat : 1387 (java) S 1357 1357 31842 0 -1 1077944384 524 0 0 0 18 0 0 0 20 0 19 0 404532672 8262082560 29294 33554432000 4194304 4196468 140723632369072 140177954838768 140178511592066 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1388] ppid=1357 vsize=8068440 memory=2300 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1388/stat : 1388 (java) S 1357 1357 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404532672 8262082560 29294 33554432000 4194304 4196468 140723632369072 140176189811296 140178511591125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1389] ppid=1357 vsize=8068440 memory=2656 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1389/stat : 1389 (java) S 1357 1357 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404532672 8262082560 29294 33554432000 4194304 4196468 140723632369072 140177953786672 140178511592066 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1391] ppid=1357 vsize=8068440 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1391/stat : 1391 (java) S 1357 1357 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404532737 8262082560 29294 33554432000 4194304 4196468 140723632369072 140177945753152 140178511605529 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1393] ppid=1357 vsize=8068440 memory=3248 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1393/stat : 1393 (java) S 1357 1357 31842 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 19 0 404532737 8262082560 29294 33554432000 4194304 4196468 140723632369072 140175652925584 140178511602845 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1394] ppid=1357 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1394/stat : 1394 (java) S 1357 1357 31842 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 404532737 8262082560 29294 33554432000 4194304 4196468 140723632369072 140175787146512 140178511602845 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1395] ppid=1357 vsize=8068440 memory=124312 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1395/stat : 1395 (java) S 1357 1357 31842 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 404532740 8262082560 29294 33554432000 4194304 4196468 140723632369072 140175384501296 140178511591125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
Current children cumulated CPU time: 6.42 s
Current children cumulated vsize: 8214848 KiB
Current children cumulated memory: 128316 KiB
[startup+3.60087 s]
/proc/loadavg: 2.16 2.03 2.05 3/241 1395
/proc/meminfo: memFree=30779672/32770624 swapFree=66999536/67108860
[pid=1357] ppid=1354 vsize=113128 memory=1476 CPUtime=4.96 cores=1,3,5,7
/proc/1357/stat : 1357 (scop.sh) S 1354 1357 31842 0 -1 4202496 583 26811 0 0 0 0 482 14 20 0 1 0 404532452 115843072 369 33554432000 4194304 5098028 140734566365376 140734566362120 139855222899324 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16875520 140734566368099 140734566368368 140734566368368 140734566371277 0
/proc/1357/statm: 28282 369 311 221 0 87 0
[pid=1375] ppid=1357 vsize=8068440 memory=117176 CPUtime=1.12 cores=1,3,5,7
/proc/1375/stat : 1375 (java) S 1357 1357 31842 0 -1 1077944320 20168 0 0 0 106 6 0 0 20 0 19 0 404532666 8262082560 29294 33554432000 4194304 4196468 140723632369072 140723632351616 140178511580919 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
/proc/1375/statm: 2017110 29294 3202 1 0 1978454 0
[pid=1390] ppid=1375 vsize=35184 memory=10980 CPUtime=0.74 cores=1,3,5,7
/proc/1390/stat : 1390 (cryptominisat5) R 1375 1357 31842 0 -1 4202496 3142 0 0 0 74 0 0 0 20 0 1 0 404532737 36028416 2745 33554432000 4194304 4451008 140723785770544 140723785766664 139833786163380 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 32030720 140723785774013 140723785774144 140723785774144 140723785777094 0
/proc/1390/statm: 8796 2745 638 63 0 2523 0
[pid=1375/tid=1376] ppid=1357 vsize=8068440 memory=1696 CPUtime=0.74 cores=1,3,5,7
/proc/1375/task/1376/stat : 1376 (java) S 1357 1357 31842 0 -1 1077944384 17201 0 0 0 69 5 0 0 20 0 19 0 404532666 8262082560 29294 33554432000 4194304 4196468 140723632369072 140178483421088 140178511591125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1377] ppid=1357 vsize=8068440 memory=3436 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1377/stat : 1377 (java) S 1357 1357 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404532667 8262082560 29294 33554432000 4194304 4196468 140723632369072 140178515822864 140178511591125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1378] ppid=1357 vsize=8068440 memory=7548 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1378/stat : 1378 (java) S 1357 1357 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404532667 8262082560 29294 33554432000 4194304 4196468 140723632369072 140177996200336 140178511591125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1379] ppid=1357 vsize=8068440 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1379/stat : 1379 (java) S 1357 1357 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404532667 8262082560 29294 33554432000 4194304 4196468 140723632369072 140177995147792 140178511591125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1380] ppid=1357 vsize=8068440 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1380/stat : 1380 (java) S 1357 1357 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404532667 8262082560 29294 33554432000 4194304 4196468 140723632369072 140177994095248 140178511591125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1381] ppid=1357 vsize=8068440 memory=5904 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1381/stat : 1381 (java) S 1357 1357 31842 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 404532669 8262082560 29294 33554432000 4194304 4196468 140723632369072 140177957997040 140178511592066 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1382] ppid=1357 vsize=8068440 memory=772 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1382/stat : 1382 (java) S 1357 1357 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404532669 8262082560 29294 33554432000 4194304 4196468 140723632369072 140177330660768 140178511591125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1383] ppid=1357 vsize=8068440 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1383/stat : 1383 (java) S 1357 1357 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404532669 8262082560 29294 33554432000 4194304 4196468 140723632369072 140177062225392 140178511591125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1384] ppid=1357 vsize=8068440 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1384/stat : 1384 (java) S 1357 1357 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404532672 8262082560 29294 33554432000 4194304 4196468 140723632369072 140176687717072 140178511599515 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1385] ppid=1357 vsize=8068440 memory=964 CPUtime=0.08 cores=1,3,5,7
/proc/1375/task/1385/stat : 1385 (java) S 1357 1357 31842 0 -1 1077944384 713 0 0 0 8 0 0 0 20 0 19 0 404532672 8262082560 29294 33554432000 4194304 4196468 140723632369072 140177956943856 140178511592066 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1386] ppid=1357 vsize=8068440 memory=14008 CPUtime=0.09 cores=1,3,5,7
/proc/1375/task/1386/stat : 1386 (java) S 1357 1357 31842 0 -1 1077944384 321 0 0 0 9 0 0 0 20 0 19 0 404532672 8262082560 29294 33554432000 4194304 4196468 140723632369072 140177955891312 140178511592066 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1387] ppid=1357 vsize=8068440 memory=2116 CPUtime=0.18 cores=1,3,5,7
/proc/1375/task/1387/stat : 1387 (java) S 1357 1357 31842 0 -1 1077944384 524 0 0 0 18 0 0 0 20 0 19 0 404532672 8262082560 29294 33554432000 4194304 4196468 140723632369072 140177954838768 140178511592066 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1388] ppid=1357 vsize=8068440 memory=18552 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1388/stat : 1388 (java) S 1357 1357 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404532672 8262082560 29294 33554432000 4194304 4196468 140723632369072 140176189811296 140178511591125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1389] ppid=1357 vsize=8068440 memory=11852 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1389/stat : 1389 (java) D 1357 1357 31842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 404532672 8262082560 29294 33554432000 4194304 4196468 140723632369072 140177953786592 140178496437006 0 4 2 25189581 18446744072099945605 0 0 -1 5 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1391] ppid=1357 vsize=8068440 memory=532 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1391/stat : 1391 (java) S 1357 1357 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404532737 8262082560 29294 33554432000 4194304 4196468 140723632369072 140177945753152 140178511605529 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1393] ppid=1357 vsize=8068440 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1393/stat : 1393 (java) S 1357 1357 31842 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 19 0 404532737 8262082560 29294 33554432000 4194304 4196468 140723632369072 140175652925584 140178511602845 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1394] ppid=1357 vsize=8068440 memory=928 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1394/stat : 1394 (java) S 1357 1357 31842 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 404532737 8262082560 29294 33554432000 4194304 4196468 140723632369072 140175787146512 140178511602845 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1395] ppid=1357 vsize=8068440 memory=2300 CPUtime=0 cores=1,3,5,7
/proc/1375/task/1395/stat : 1395 (java) S 1357 1357 31842 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 404532740 8262082560 29294 33554432000 4194304 4196468 140723632369072 140175384501296 140178511591125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
Current children cumulated CPU time: 6.82 s
Current children cumulated vsize: 8216752 KiB
Current children cumulated memory: 129632 KiB
[startup+4.00191 s]*
/proc/loadavg: 2.16 2.03 2.05 6/239 1395
/proc/meminfo: memFree=30782648/32770624 swapFree=66999536/67108860
[pid=1357] ppid=1354 vsize=113128 memory=1476 CPUtime=4.96 cores=1,3,5,7
/proc/1357/stat : 1357 (scop.sh) S 1354 1357 31842 0 -1 4202496 583 26811 0 0 0 0 482 14 20 0 1 0 404532452 115843072 369 33554432000 4194304 5098028 140734566365376 140734566362120 139855222899324 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16875520 140734566368099 140734566368368 140734566368368 140734566371277 0
/proc/1357/statm: 28282 369 311 221 0 87 0
[pid=1375] ppid=1357 vsize=8068440 memory=119632 CPUtime=2.32 cores=1,3,5,7
/proc/1375/stat : 1375 (java) S 1357 1357 31842 0 -1 1077944320 20415 3447 0 0 114 6 112 0 20 0 18 0 404532666 8262082560 29908 33554432000 4194304 4196468 140723632369072 140723632351616 140178511580919 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
/proc/1375/statm: 2017110 29908 3202 1 0 1978454 0
[pid=1375/tid=1376] ppid=1357 vsize=8068440 memory=6935054825532540783 CPUtime=1.86 cores=1,3,5,7
/proc/1375/task/1376/stat : 1376 (java) S 1357 1357 31842 0 -1 1077944384 17201 3447 0 0 69 5 112 0 20 0 18 0 404532666 8262082560 29930 33554432000 4194304 4196468 140723632369072 140178483421088 140178511591125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1377] ppid=1357 vsize=8068440 memory=0 CPUtime=1.12 cores=1,3,5,7
/proc/1375/task/1377/stat : 1377 (java) S 1357 1357 31842 0 -1 1077944384 1 3447 0 0 0 0 112 0 20 0 18 0 404532667 8262082560 29930 33554432000 4194304 4196468 140723632369072 140178515822864 140178511591125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1378] ppid=1357 vsize=8068440 memory=0 CPUtime=1.12 cores=1,3,5,7
/proc/1375/task/1378/stat : 1378 (java) S 1357 1357 31842 0 -1 1077944384 1 3447 0 0 0 0 112 0 20 0 18 0 404532667 8262082560 29930 33554432000 4194304 4196468 140723632369072 140177996200336 140178511591125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1379] ppid=1357 vsize=8068440 memory=0 CPUtime=1.12 cores=1,3,5,7
/proc/1375/task/1379/stat : 1379 (java) S 1357 1357 31842 0 -1 1077944384 1 3447 0 0 0 0 112 0 20 0 18 0 404532667 8262082560 29930 33554432000 4194304 4196468 140723632369072 140177995147792 140178511591125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1380] ppid=1357 vsize=8068440 memory=0 CPUtime=1.12 cores=1,3,5,7
/proc/1375/task/1380/stat : 1380 (java) S 1357 1357 31842 0 -1 1077944384 2 3447 0 0 0 0 112 0 20 0 18 0 404532667 8262082560 29930 33554432000 4194304 4196468 140723632369072 140177994095248 140178511591125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1381] ppid=1357 vsize=8068440 memory=3833443103590725681 CPUtime=1.12 cores=1,3,5,7
/proc/1375/task/1381/stat : 1381 (java) S 1357 1357 31842 0 -1 1077944384 6 3447 0 0 0 0 112 0 20 0 18 0 404532669 8262082560 29930 33554432000 4194304 4196468 140723632369072 140177957997040 140178511592066 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1382] ppid=1357 vsize=8068440 memory=0 CPUtime=1.12 cores=1,3,5,7
/proc/1375/task/1382/stat : 1382 (java) S 1357 1357 31842 0 -1 1077944384 13 3447 0 0 0 0 112 0 20 0 18 0 404532669 8262082560 29930 33554432000 4194304 4196468 140723632369072 140177330660768 140178511591125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1383] ppid=1357 vsize=8068440 memory=0 CPUtime=1.12 cores=1,3,5,7
/proc/1375/task/1383/stat : 1383 (java) S 1357 1357 31842 0 -1 1077944384 1 3447 0 0 0 0 112 0 20 0 18 0 404532669 8262082560 29930 33554432000 4194304 4196468 140723632369072 140177062225392 140178511591125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1384] ppid=1357 vsize=8068440 memory=6944656592455359580 CPUtime=1.12 cores=1,3,5,7
/proc/1375/task/1384/stat : 1384 (java) S 1357 1357 31842 0 -1 1077944384 3 3447 0 0 0 0 112 0 20 0 18 0 404532672 8262082560 29930 33554432000 4194304 4196468 140723632369072 140176687717072 140178511599515 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1385] ppid=1357 vsize=8068440 memory=0 CPUtime=1.2 cores=1,3,5,7
/proc/1375/task/1385/stat : 1385 (java) R 1357 1357 31842 0 -1 1077944384 720 3447 0 0 8 0 112 0 20 0 18 0 404532672 8262082560 29930 33554432000 4194304 4196468 140723632369072 140177956943856 140178511592066 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1386] ppid=1357 vsize=8068440 memory=8388367118360672371 CPUtime=1.23 cores=1,3,5,7
/proc/1375/task/1386/stat : 1386 (java) S 1357 1357 31842 0 -1 1077944384 331 3447 0 0 11 0 112 0 20 0 18 0 404532672 8262082560 29930 33554432000 4194304 4196468 140723632369072 140177955891312 140178511592066 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1387] ppid=1357 vsize=8068440 memory=140648563914368 CPUtime=1.33 cores=1,3,5,7
/proc/1375/task/1387/stat : 1387 (java) R 1357 1357 31842 0 -1 4202560 592 3447 0 0 21 0 112 0 20 0 18 0 404532672 8262082560 29930 33554432000 4194304 4196468 140723632369072 140177954834496 140178504677755 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1388] ppid=1357 vsize=8068440 memory=-1 CPUtime=1.12 cores=1,3,5,7
/proc/1375/task/1388/stat : 1388 (java) S 1357 1357 31842 0 -1 1077944384 3 3447 0 0 0 0 112 0 20 0 18 0 404532672 8262082560 29930 33554432000 4194304 4196468 140723632369072 140176189811296 140178511591125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1389] ppid=1357 vsize=8068440 memory=140648563914368 CPUtime=1.12 cores=1,3,5,7
/proc/1375/task/1389/stat : 1389 (java) S 1357 1357 31842 0 -1 1077944384 3 3447 0 0 0 0 112 0 20 0 18 0 404532672 8262082560 29930 33554432000 4194304 4196468 140723632369072 140177953786672 140178511592066 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1391] ppid=1357 vsize=8068440 memory=-1 CPUtime=1.12 cores=1,3,5,7
/proc/1375/task/1391/stat : 1391 (java) S 1357 1357 31842 0 -1 1077944384 24 3447 0 0 0 0 112 0 20 0 18 0 404532737 8262082560 29930 33554432000 4194304 4196468 140723632369072 140177945752336 140178511592066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1393] ppid=1357 vsize=8068440 memory=140648563914368 CPUtime=1.15 cores=1,3,5,7
/proc/1375/task/1393/stat : 1393 (java) R 1357 1357 31842 0 -1 4202560 197 3447 0 0 3 0 112 0 20 0 18 0 404532737 8262082560 29930 33554432000 4194304 4196468 140723632369072 140175652931664 140178495661406 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
[pid=1375/tid=1395] ppid=1357 vsize=8068440 memory=-1 CPUtime=1.12 cores=1,3,5,7
/proc/1375/task/1395/stat : 1395 (java) S 1357 1357 31842 0 -1 1077944384 4 3447 0 0 0 0 112 0 20 0 18 0 404532740 8262082560 29930 33554432000 4194304 4196468 140723632369072 140175384501056 140178511591125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14766080 140723632374780 140723632374938 140723632374938 140723632377807 0
Current children cumulated CPU time: 7.28 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 121108 KiB
[startup+4.11053 s]
/proc/loadavg: 2.16 2.03 2.05 6/239 1395
/proc/meminfo: memFree=30782648/32770624 swapFree=66999536/67108860
[pid=1357] ppid=1354 vsize=113128 memory=1476 CPUtime=4.96 cores=1,3,5,7
/proc/1357/stat : 1357 (scop.sh) S 1354 1357 31842 0 -1 4202496 583 26811 0 0 0 0 482 14 20 0 1 0 404532452 115843072 369 33554432000 4194304 5098028 140734566365376 140734566362120 139855222899324 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16875520 140734566368099 140734566368368 140734566368368 140734566371277 0
/proc/1357/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 4.96 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB
Child status: 0
Real time (s): 4.11433
CPU time (s): 7.50832
CPU user time (s): 7.27599
CPU system time (s): 0.232329
CPU usage (%): 182.492
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 364812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.27599
system time used= 0.232329
maximum resident set size= 368384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51765
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5366
involuntary context switches= 27
# summary of solver processes directly reported to runsolver:
# pid: 1357
# total CPU time (s): 7.50832
# total CPU user time (s): 7.27599
# total CPU system time (s): 0.232329
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.055971 second user time and 0.08603 second system time
The end