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-10623-serial-file.bin HOME/instance-4387864-1568291486.xml
0.66/0.53
0.66/0.53 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.53
0.66/0.56 c BEGIN-Prog: Thu Sep 12 14:30:29 CEST 2019
0.66/0.56 c PID: 10626
0.66/0.56 c IP: 172.20.3.103
0.66/0.56 c HOST: node103.alineos.net
0.66/0.56 c (0,0) Parsing Begin
118.44/91.46 c (90,84) Parsing End
118.44/91.47 c (90,84) CSP: 1000 int (0 aux), 0 bool (0 aux), 1998000 ctr, max domain size 999
118.44/91.47 c (90,84) Heap : 3271 MiB used (max 10759 MiB), NonHeap : 25 MiB used (max 0 MiB)
118.44/91.47 c (90,84) Constraint Name Generate Begin
123.83/96.64 c (96,89) Ctr:HOME/instance-4387864-1568291486.xml,Eq:Imp:Le:Num:Var
123.83/96.64 c (96,89) Constraint Name Generate End
123.83/96.64 c (96,89) Heap : 4657 MiB used (max 10759 MiB), NonHeap : 25 MiB used (max 0 MiB)
123.83/96.64 c (96,89) CSP to CSPinCNF Begin
136.04/104.38 c (103,96) translated 199800 (10%) constraints
145.75/111.33 c (110,102) translated 399600 (20%) constraints
151.75/117.39 c (116,108) translated 599400 (30%) constraints
159.09/123.77 c (123,114) translated 799200 (40%) constraints
165.19/129.83 c (129,120) translated 999000 (50%) constraints
172.96/136.34 c (135,126) translated 1198800 (60%) constraints
179.06/142.49 c (141,132) translated 1398600 (70%) constraints
186.55/148.97 c (148,139) translated 1598400 (80%) constraints
192.76/155.12 c (154,145) translated 1798200 (90%) constraints
200.58/161.69 c (161,151) translated 1998000 (100%) constraints
200.58/161.69 c (161,151) ===========================================
200.92/161.94 c (161,151) Hybrid: #OE=1000, #LE=0
200.92/161.94 c (161,151) Hybrid
200.92/161.94 c (161,151) ===========================================
204.78/165.14 c (164,154) translated 199800 (10%) constraints
207.98/168.31 c (167,157) translated 399600 (20%) constraints
212.52/171.75 c (171,161) translated 599400 (30%) constraints
215.62/174.84 c (174,164) translated 799200 (40%) constraints
218.73/177.92 c (177,167) translated 999000 (50%) constraints
236.98/192.65 c (192,181) translated 1198800 (60%) constraints
254.71/207.33 c (206,194) translated 1398600 (70%) constraints
272.40/221.82 c (221,208) translated 1598400 (80%) constraints
288.46/236.32 c (235,222) translated 1798200 (90%) constraints
306.26/250.84 c (250,235) translated 1998000 (100%) constraints
306.26/250.85 c (250,235) CSP to CSPinCNF End
306.48/251.08 c (250,235) CSP: 1000 int (0 aux), 999000 bool (999000 aux), 3996000 ctr, max domain size 999
306.48/251.08 c (250,235) Heap : 8024 MiB used (max 10832 MiB), NonHeap : 27 MiB used (max 0 MiB)
306.48/251.08 c (250,235) CSPinCNF Propagation Begin
977.08/832.63 c (832,787) 1719216 values, 2594122 unsatisfiable literals, and 3559806 valid clauses are removed
977.08/832.63 c (832,787) CSPinCNF Propagation End
977.38/832.98 c (832,788) CSP: 987 int (0 aux), 999013 bool (999000 aux), 436194 ctr, max domain size 955
977.38/832.98 c (832,788) Heap : 8518 MiB used (max 10876 MiB), NonHeap : 26 MiB used (max 0 MiB)
977.61/833.14 c (832,788) Hybrid: #OE=1000000, #LE=0
977.61/833.14 c (832,788) Simplify CSPinCNF Begin
978.55/833.87 c (833,788) Simplify CSPinCNF End
978.95/834.22 c (833,789) CSP: 987 int (0 aux), 999013 bool (999000 aux), 436194 ctr, max domain size 955
978.95/834.22 c (833,789) Heap : 8937 MiB used (max 10876 MiB), NonHeap : 26 MiB used (max 0 MiB)
978.95/834.22 c (833,789) Calculate Precise Domain Begin
978.95/834.22 c (833,789) 0 values are removed by re-calculation
978.95/834.22 c (833,789) Calculate Precise Domain End
979.25/834.58 c (834,789) CSP: 987 int (0 aux), 999013 bool (999000 aux), 436194 ctr, max domain size 955
979.25/834.58 c (834,789) Heap : 8937 MiB used (max 10876 MiB), NonHeap : 26 MiB used (max 0 MiB)
979.25/834.58 c (834,789) CSPinCNF to SatSolver Begin
986.41/837.30 c (836,791) 43620 (10 %) CSP clauses are encoded (0 SAT variables, 181101 SAT clauses)
986.65/837.59 c (837,791) 87239 (20 %) CSP clauses are encoded (0 SAT variables, 224720 SAT clauses)
986.95/837.86 c (837,791) 130859 (30 %) CSP clauses are encoded (0 SAT variables, 268340 SAT clauses)
987.26/838.12 c (837,792) 174478 (40 %) CSP clauses are encoded (0 SAT variables, 311959 SAT clauses)
987.45/838.38 c (837,792) 218097 (50 %) CSP clauses are encoded (0 SAT variables, 355578 SAT clauses)
987.75/838.64 c (838,792) 261717 (60 %) CSP clauses are encoded (0 SAT variables, 399198 SAT clauses)
992.14/839.94 c (839,793) 305336 (70 %) CSP clauses are encoded (0 SAT variables, 442817 SAT clauses)
992.44/840.20 c (839,793) 348956 (80 %) CSP clauses are encoded (0 SAT variables, 486437 SAT clauses)
992.64/840.46 c (839,793) 392575 (90 %) CSP clauses are encoded (0 SAT variables, 530056 SAT clauses)
992.95/840.72 c (840,793) 436194 (100 %) CSP clauses are encoded (0 SAT variables, 573675 SAT clauses)
992.95/840.72 c (840,793) CSPinCNF to SatSolver End
992.95/840.72 c (840,793) Heap : 7197 MiB used (max 10777 MiB), NonHeap : 29 MiB used (max 0 MiB)
992.95/840.72 c (840,793) 277784 bool, 573676 clause
992.95/840.72 c (840,793) Export Begin
993.11/840.86 c (840,793) Export to HOME/scop-10623-serial-file.bin
993.11/840.86 c (840,793) Export End
993.11/840.87 c (840,793) Export File Size: 0.16 MB
993.11/840.87 c (840,793) 90,96,250,832,833,834,840,STOP-AFTER(DIMACS)
993.11/840.87 c END-Prog: Thu Sep 12 14:44:29 CEST 2019
0.00/840.92 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10623-serial-file.bin
993.87/841.38 c (0,0) Read Serial File Begin
993.87/841.38 c (0,0) HOME/scop-10623-serial-file.bin
994.35/841.65 c (0,0) Read Serial File End
994.35/841.66
994.35/841.66 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
994.35/841.66 (Solving Process)
994.35/841.66
994.35/841.68 c BEGIN-Prog: Thu Sep 12 14:44:30 CEST 2019
994.35/841.68 c PID: 10936
994.35/841.68 c IP: 172.20.3.103
994.35/841.68 c HOST: node103.alineos.net
994.35/841.69 c (0,0) SatSolver.solve Begin
994.35/841.69 c (0,0) HOME/cryptominisat5 HOME/instance-4387864-1568291486.xml-scop-10626.cnf
994.61/841.72 c (0,0) c Outputting solution to console
994.61/841.72 c (0,0) c CryptoMiniSat version 5.6.8
994.61/841.72 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
994.61/841.72 c (0,0) c CMS SHA revision GIT-notfound
994.61/841.72 c (0,0) c CMS is MIT licensed
994.61/841.72 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
994.61/841.72 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
994.61/841.72 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387864-1568291486.xml-scop-10626.cnf
994.61/841.72 c (0,0) c Reading file 'HOME/instance-4387864-1568291486.xml-scop-10626.cnf'
994.61/841.72 c (0,0) c -- header says num vars: 277784
994.61/841.72 c (0,0) c -- header says num clauses: 573676
994.79/841.94 c (0,0) c -- clauses added: 573676
994.79/841.94 c (0,0) c -- xor clauses added: 0
994.79/841.94 c (0,0) c -- vars added 277784
994.79/841.94 c (0,0) c Parsing time: 0.21 s
995.08/842.04 c (0,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
995.08/842.04 c (0,0) c ------- FINAL TOTAL SEARCH STATS ---------
995.08/842.04 c (0,0) c UIP search time : 0.10 (32.28 % time)
995.08/842.04 c (0,0) c restarts : 1 (7.00 confls per restart)
995.08/842.04 c (0,0) c blocked restarts : 0 (0.00 per normal restart)
995.08/842.04 c (0,0) c time : 0.10
995.08/842.04 c (0,0) c decisions : 123 (0.00 % random)
995.08/842.04 c (0,0) c propagations : 567083
995.08/842.04 c (0,0) c decisions/conflicts : 17.57
995.08/842.04 c (0,0) c conflicts : 7 (69.34 / sec)
995.08/842.04 c (0,0) c conf lits non-minim : 2714 (387.71 lit/confl)
995.08/842.04 c (0,0) c conf lits final : 184.71
995.08/842.04 c (0,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
995.08/842.04 c (0,0) c red which0 : 2 (28.57 % of confl)
995.08/842.04 c (0,0) c props/decision : 0.00
995.08/842.04 c (0,0) c props/conflict : 0.00
995.08/842.04 c (0,0) c 0-depth assigns : 185095 (66.63 % vars)
995.08/842.04 c (0,0) c 0-depth assigns by CNF : 0 (0.00 % vars)
995.08/842.04 c (0,0) c reduceDB time : 0.00 (0.00 % time)
995.08/842.04 c (0,0) c OccSimplifier time : 0.00 (0.00 % time)
995.08/842.04 c (0,0) c [occur] 0.00 is overhead
995.08/842.04 c (0,0) c [occur] link-in T: 0.00 cleanup T: 0.00
995.08/842.04 c (0,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
995.08/842.04 c (0,0) c SCC time : 0.00 (0.00 % time)
995.08/842.04 c (0,0) c [scc] new: 0 BP 0M T: 0.00
995.08/842.04 c (0,0) c vrep replace time : 0.00 (0.00 % time)
995.08/842.04 c (0,0) c vrep tree roots : 0
995.08/842.04 c (0,0) c vrep trees' crown : 0 (0.00 leafs/tree)
995.08/842.04 c (0,0) c distill time : 0.00 (0.00 % time)
995.08/842.04 c (0,0) c strength cache-irred time: 0.00 (0.00 % time)
995.08/842.04 c (0,0) c strength cache-red time : 0.00 (0.00 % time)
995.08/842.04 c (0,0) c Conflicts in UIP : 7 (22.38 confl/time_this_thread)
995.08/842.04 c (0,0) c Mem used : 74.30 MB
995.08/842.04 c (0,0) c Total time (this thread) : 0.31
995.08/842.04 c (0,0) s UNSATISFIABLE
995.08/842.07 c (0,0) SatSolver.solve End
995.08/842.07 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
995.08/842.08 c (0,0) Show results Begin
995.08/842.08 s UNSATISFIABLE
995.08/842.08 c (0,0) Show results End
995.08/842.08 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
995.08/842.08 c (0,0) 0,0,STOP-AFTER(ALL)
995.08/842.08 c END-Prog: Thu Sep 12 14:44:31 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 (8591 MiB free)
memory of node 1: 16384 MiB (13288 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387864-1568291486/watcher-4387864-1568291486 -o /tmp/evaluation-result-4387864-1568291486/solver-4387864-1568291486 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568289558-9766 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387864-1568291486.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=10623, runsolver pid=10620
Current StackSize limit: 8192 KiB
[startup+0.100136 s]*
/proc/loadavg: 2.07 2.12 2.41 3/235 10640
/proc/meminfo: memFree=22346164/32770624 swapFree=66997112/67108860
[pid=10623] ppid=10620 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10623/stat : 10623 (scop.sh) S 10620 10623 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405401814 115843072 349 33554432000 4194304 5098028 140720396252720 140720396249976 140622288487036 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8343552 140720396260195 140720396260464 140720396260464 140720396263373 0
/proc/10623/statm: 28282 349 296 221 0 87 0
[pid=10626] ppid=10623 vsize=15012696 memory=70004 CPUtime=0.12 cores=1,3,5,7
/proc/10626/stat : 10626 (java) S 10623 10623 8640 0 -1 1077944320 7319 0 0 0 10 2 0 0 20 0 15 0 405401814 15373000704 17501 33554432000 4194304 4196468 140736867960160 140736867942704 139711557754615 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
/proc/10626/statm: 3753174 17501 2917 1 0 3715579 0
[pid=10626/tid=10627] ppid=10623 vsize=15012696 memory=576460756329985062 CPUtime=0.09 cores=1,3,5,7
/proc/10626/task/10627/stat : 10627 (java) R 10623 10623 8640 0 -1 4202560 5161 0 0 0 8 1 0 0 20 0 15 0 405401815 15373000704 17633 33554432000 4194304 4196468 140736867960160 139711529549776 139711557775962 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10628] ppid=10623 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10628/stat : 10628 (java) S 10623 10623 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405401816 15373000704 17633 33554432000 4194304 4196468 140736867960160 139711561997200 139711557764821 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10629] ppid=10623 vsize=15012696 memory=139950183960284 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10629/stat : 10629 (java) S 10623 10623 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405401816 15373000704 17633 33554432000 4194304 4196468 140736867960160 139711395375888 139711557764821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10630] ppid=10623 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10630/stat : 10630 (java) S 10623 10623 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405401816 15373000704 17633 33554432000 4194304 4196468 140736867960160 139711017376912 139711557764821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10631] ppid=10623 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10631/stat : 10631 (java) S 10623 10623 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405401816 15373000704 17633 33554432000 4194304 4196468 140736867960160 139711016324112 139711557764821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10632] ppid=10623 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10632/stat : 10632 (java) S 10623 10623 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405401818 15373000704 17633 33554432000 4194304 4196468 140736867960160 139710595410032 139711557765762 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10633] ppid=10623 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10633/stat : 10633 (java) S 10623 10623 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405401818 15373000704 17633 33554432000 4194304 4196468 140736867960160 139709984531232 139711557764821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10634] ppid=10623 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10634/stat : 10634 (java) S 10623 10623 8640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405401818 15373000704 17633 33554432000 4194304 4196468 140736867960160 139709850309744 139711557764821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10635] ppid=10623 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10635/stat : 10635 (java) S 10623 10623 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405401821 15373000704 17633 33554432000 4194304 4196468 140736867960160 139709475805264 139711557773211 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10636] ppid=10623 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10636/stat : 10636 (java) S 10623 10623 8640 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 405401821 15373000704 17633 33554432000 4194304 4196468 140736867960160 139710594357872 139711557765762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10637] ppid=10623 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10637/stat : 10637 (java) S 10623 10623 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405401821 15373000704 17633 33554432000 4194304 4196468 140736867960160 139710593305072 139711557765762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10638] ppid=10623 vsize=15012696 memory=139950183949952 CPUtime=0.01 cores=1,3,5,7
/proc/10626/task/10638/stat : 10638 (java) R 10623 10623 8640 0 -1 4202560 479 0 0 0 1 0 0 0 20 0 15 0 405401821 15373000704 17633 33554432000 4194304 4196468 140736867960160 139710592249992 139711557766550 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10639] ppid=10623 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10639/stat : 10639 (java) S 10623 10623 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405401821 15373000704 17633 33554432000 4194304 4196468 140736867960160 139708977900512 139711557764821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10640] ppid=10623 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10640/stat : 10640 (java) S 10623 10623 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405401821 15373000704 17633 33554432000 4194304 4196468 140736867960160 139710591199664 139711557765762 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 71400 KiB
[startup+0.211747 s]*
/proc/loadavg: 2.07 2.12 2.41 3/235 10640
/proc/meminfo: memFree=22326776/32770624 swapFree=66997112/67108860
[pid=10623] ppid=10620 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10623/stat : 10623 (scop.sh) S 10620 10623 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405401814 115843072 349 33554432000 4194304 5098028 140720396252720 140720396249976 140622288487036 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8343552 140720396260195 140720396260464 140720396260464 140720396263373 0
/proc/10623/statm: 28282 349 296 221 0 87 0
[pid=10626] ppid=10623 vsize=15012696 memory=85376 CPUtime=0.25 cores=1,3,5,7
/proc/10626/stat : 10626 (java) S 10623 10623 8640 0 -1 1077944320 12482 0 0 0 21 4 0 0 20 0 15 0 405401814 15373000704 21344 33554432000 4194304 4196468 140736867960160 140736867942704 139711557754615 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
/proc/10626/statm: 3753174 21344 2921 1 0 3715579 0
[pid=10626/tid=10627] ppid=10623 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/10626/task/10627/stat : 10627 (java) R 10623 10623 8640 0 -1 4202560 10141 0 0 0 16 3 0 0 20 0 15 0 405401815 15373000704 21344 33554432000 4194304 4196468 140736867960160 139711529577152 139711557775962 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10628] ppid=10623 vsize=15012696 memory=396 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10628/stat : 10628 (java) S 10623 10623 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405401816 15373000704 21344 33554432000 4194304 4196468 140736867960160 139711561997200 139711557764821 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10629] ppid=10623 vsize=15012696 memory=288370326335661696 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10629/stat : 10629 (java) S 10623 10623 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405401816 15373000704 21344 33554432000 4194304 4196468 140736867960160 139711395375888 139711557764821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10630] ppid=10623 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10630/stat : 10630 (java) S 10623 10623 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405401816 15373000704 21344 33554432000 4194304 4196468 140736867960160 139711017376912 139711557764821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10631] ppid=10623 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10631/stat : 10631 (java) S 10623 10623 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405401816 15373000704 21344 33554432000 4194304 4196468 140736867960160 139711016324112 139711557764821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10632] ppid=10623 vsize=15012696 memory=139950183949952 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10632/stat : 10632 (java) S 10623 10623 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405401818 15373000704 21344 33554432000 4194304 4196468 140736867960160 139710595410032 139711557765762 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10633] ppid=10623 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10633/stat : 10633 (java) S 10623 10623 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405401818 15373000704 21344 33554432000 4194304 4196468 140736867960160 139709984531232 139711557764821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10634] ppid=10623 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10634/stat : 10634 (java) S 10623 10623 8640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405401818 15373000704 21344 33554432000 4194304 4196468 140736867960160 139709850309744 139711557764821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10635] ppid=10623 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10635/stat : 10635 (java) S 10623 10623 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405401821 15373000704 21344 33554432000 4194304 4196468 140736867960160 139709475805264 139711557773211 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10636] ppid=10623 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10626/task/10636/stat : 10636 (java) S 10623 10623 8640 0 -1 1077944384 438 0 0 0 1 0 0 0 20 0 15 0 405401821 15373000704 21344 33554432000 4194304 4196468 140736867960160 139710594357872 139711557765762 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10637] ppid=10623 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10637/stat : 10637 (java) R 10623 10623 8640 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 405401821 15373000704 21344 33554432000 4194304 4196468 140736867960160 139710593305072 139711557765762 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10638] ppid=10623 vsize=15012696 memory=139950183949952 CPUtime=0.02 cores=1,3,5,7
/proc/10626/task/10638/stat : 10638 (java) S 10623 10623 8640 0 -1 1077944384 506 0 0 0 2 0 0 0 20 0 15 0 405401821 15373000704 21344 33554432000 4194304 4196468 140736867960160 139710592252784 139711557765762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10639] ppid=10623 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10639/stat : 10639 (java) S 10623 10623 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405401821 15373000704 21344 33554432000 4194304 4196468 140736867960160 139708977900512 139711557764821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10640] ppid=10623 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10640/stat : 10640 (java) S 10623 10623 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405401821 15373000704 21344 33554432000 4194304 4196468 140736867960160 139710591199664 139711557765762 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 86772 KiB
[startup+0.310552 s]*
/proc/loadavg: 2.07 2.12 2.41 3/235 10640
/proc/meminfo: memFree=22324472/32770624 swapFree=66997112/67108860
[pid=10623] ppid=10620 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10623/stat : 10623 (scop.sh) S 10620 10623 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405401814 115843072 349 33554432000 4194304 5098028 140720396252720 140720396249976 140622288487036 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8343552 140720396260195 140720396260464 140720396260464 140720396263373 0
/proc/10623/statm: 28282 349 296 221 0 87 0
[pid=10626] ppid=10623 vsize=15012696 memory=89544 CPUtime=0.43 cores=1,3,5,7
/proc/10626/stat : 10626 (java) S 10623 10623 8640 0 -1 1077944320 12936 0 0 0 39 4 0 0 20 0 15 0 405401814 15373000704 22386 33554432000 4194304 4196468 140736867960160 140736867942704 139711557754615 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
/proc/10626/statm: 3753174 22386 3059 1 0 3715579 0
[pid=10626/tid=10627] ppid=10623 vsize=15012696 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/10626/task/10627/stat : 10627 (java) R 10623 10623 8640 0 -1 4202560 10327 0 0 0 26 3 0 0 20 0 15 0 405401815 15373000704 22386 33554432000 4194304 4196468 140736867960160 139711529539600 139711534978768 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10628] ppid=10623 vsize=15012696 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10628/stat : 10628 (java) S 10623 10623 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405401816 15373000704 22386 33554432000 4194304 4196468 140736867960160 139711561997200 139711557764821 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10629] ppid=10623 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10629/stat : 10629 (java) S 10623 10623 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405401816 15373000704 22386 33554432000 4194304 4196468 140736867960160 139711395375888 139711557764821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10630] ppid=10623 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10630/stat : 10630 (java) S 10623 10623 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405401816 15373000704 22386 33554432000 4194304 4196468 140736867960160 139711017376912 139711557764821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10631] ppid=10623 vsize=15012696 memory=7223591943076881810 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10631/stat : 10631 (java) S 10623 10623 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405401816 15373000704 22386 33554432000 4194304 4196468 140736867960160 139711016324112 139711557764821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10632] ppid=10623 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10632/stat : 10632 (java) S 10623 10623 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405401818 15373000704 22386 33554432000 4194304 4196468 140736867960160 139710595410032 139711557765762 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10633] ppid=10623 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10633/stat : 10633 (java) S 10623 10623 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405401818 15373000704 22386 33554432000 4194304 4196468 140736867960160 139709984531232 139711557764821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10634] ppid=10623 vsize=15012696 memory=-8253362762721939848 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10634/stat : 10634 (java) S 10623 10623 8640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405401818 15373000704 22386 33554432000 4194304 4196468 140736867960160 139709850309744 139711557764821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10635] ppid=10623 vsize=15012696 memory=6576575808607201703 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10635/stat : 10635 (java) S 10623 10623 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405401821 15373000704 22386 33554432000 4194304 4196468 140736867960160 139709475805264 139711557773211 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10636] ppid=10623 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10626/task/10636/stat : 10636 (java) S 10623 10623 8640 0 -1 1077944384 476 0 0 0 2 0 0 0 20 0 15 0 405401821 15373000704 22386 33554432000 4194304 4196468 140736867960160 139710594357872 139711557765762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10637] ppid=10623 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10626/task/10637/stat : 10637 (java) S 10623 10623 8640 0 -1 1077944384 173 0 0 0 3 0 0 0 20 0 15 0 405401821 15373000704 22386 33554432000 4194304 4196468 140736867960160 139710593305072 139711557765762 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10638] ppid=10623 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10626/task/10638/stat : 10638 (java) S 10623 10623 8640 0 -1 1077944384 608 0 0 0 7 0 0 0 20 0 15 0 405401821 15373000704 22386 33554432000 4194304 4196468 140736867960160 139710592252784 139711557765762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10639] ppid=10623 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10639/stat : 10639 (java) S 10623 10623 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405401821 15373000704 22386 33554432000 4194304 4196468 140736867960160 139708977900512 139711557764821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10640] ppid=10623 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10640/stat : 10640 (java) S 10623 10623 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405401821 15373000704 22386 33554432000 4194304 4196468 140736867960160 139710591199664 139711557765762 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90940 KiB
[startup+0.70175 s]
/proc/loadavg: 2.07 2.12 2.41 3/235 10640
/proc/meminfo: memFree=22300100/32770624 swapFree=66997112/67108860
[pid=10623] ppid=10620 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10623/stat : 10623 (scop.sh) S 10620 10623 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405401814 115843072 349 33554432000 4194304 5098028 140720396252720 140720396249976 140622288487036 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8343552 140720396260195 140720396260464 140720396260464 140720396263373 0
/proc/10623/statm: 28282 349 296 221 0 87 0
[pid=10626] ppid=10623 vsize=15018968 memory=126036 CPUtime=1.01 cores=1,3,5,7
/proc/10626/stat : 10626 (java) S 10623 10623 8640 0 -1 1077944320 20377 0 0 0 95 6 0 0 20 0 15 0 405401814 15379423232 31509 33554432000 4194304 4196468 140736867960160 140736867942704 139711557754615 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
/proc/10626/statm: 3754742 31509 3183 1 0 3716091 0
[pid=10626/tid=10627] ppid=10623 vsize=15018968 memory=2828 CPUtime=0.67 cores=1,3,5,7
/proc/10626/task/10627/stat : 10627 (java) R 10623 10623 8640 0 -1 4202560 17230 0 0 0 62 5 0 0 20 0 15 0 405401815 15379423232 31509 33554432000 4194304 4196468 140736867960160 139711529591984 139711062111143 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10628] ppid=10623 vsize=15018968 memory=676 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10628/stat : 10628 (java) S 10623 10623 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405401816 15379423232 31509 33554432000 4194304 4196468 140736867960160 139711561997200 139711557764821 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10629] ppid=10623 vsize=15018968 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10629/stat : 10629 (java) S 10623 10623 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405401816 15379423232 31509 33554432000 4194304 4196468 140736867960160 139711395375888 139711557764821 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10630] ppid=10623 vsize=15018968 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10630/stat : 10630 (java) S 10623 10623 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405401816 15379423232 31509 33554432000 4194304 4196468 140736867960160 139711017376912 139711557764821 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10631] ppid=10623 vsize=15018968 memory=8488 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10631/stat : 10631 (java) S 10623 10623 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405401816 15379423232 31509 33554432000 4194304 4196468 140736867960160 139711016324112 139711557764821 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10632] ppid=10623 vsize=15018968 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10632/stat : 10632 (java) S 10623 10623 8640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405401818 15379423232 31509 33554432000 4194304 4196468 140736867960160 139710595410032 139711557765762 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10633] ppid=10623 vsize=15018968 memory=1112 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10633/stat : 10633 (java) S 10623 10623 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405401818 15379423232 31509 33554432000 4194304 4196468 140736867960160 139709984531232 139711557764821 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10634] ppid=10623 vsize=15018968 memory=1020 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10634/stat : 10634 (java) S 10623 10623 8640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405401818 15379423232 31509 33554432000 4194304 4196468 140736867960160 139709850309744 139711557764821 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10635] ppid=10623 vsize=15018968 memory=5964 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10635/stat : 10635 (java) S 10623 10623 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405401821 15379423232 31509 33554432000 4194304 4196468 140736867960160 139709475805264 139711557773211 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10636] ppid=10623 vsize=15018968 memory=14008 CPUtime=0.06 cores=1,3,5,7
/proc/10626/task/10636/stat : 10636 (java) R 10623 10623 8640 0 -1 4202560 584 0 0 0 6 0 0 0 20 0 15 0 405401821 15379423232 31509 33554432000 4194304 4196468 140736867960160 139710594357872 139711537263866 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10637] ppid=10623 vsize=15018968 memory=2124 CPUtime=0.09 cores=1,3,5,7
/proc/10626/task/10637/stat : 10637 (java) R 10623 10623 8640 0 -1 4202560 395 0 0 0 9 0 0 0 20 0 15 0 405401821 15379423232 31509 33554432000 4194304 4196468 140736867960160 139710593305072 139711535921096 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10638] ppid=10623 vsize=15018968 memory=20440 CPUtime=0.16 cores=1,3,5,7
/proc/10626/task/10638/stat : 10638 (java) R 10623 10623 8640 0 -1 4202560 814 0 0 0 16 0 0 0 20 0 15 0 405401821 15379423232 31509 33554432000 4194304 4196468 140736867960160 139710592249880 139711536557839 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10639] ppid=10623 vsize=15018968 memory=3472323897372784704 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10639/stat : 10639 (java) S 10623 10623 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405401821 15379423232 31509 33554432000 4194304 4196468 140736867960160 139708977900512 139711557764821 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10640] ppid=10623 vsize=15018968 memory=139950032979728 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10640/stat : 10640 (java) S 10623 10623 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405401821 15379423232 31509 33554432000 4194304 4196468 140736867960160 139710591199664 139711557765762 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 127432 KiB
[startup+1.50085 s]
/proc/loadavg: 2.07 2.12 2.41 3/235 10640
/proc/meminfo: memFree=22181632/32770624 swapFree=66997112/67108860
[pid=10623] ppid=10620 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10623/stat : 10623 (scop.sh) S 10620 10623 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405401814 115843072 349 33554432000 4194304 5098028 140720396252720 140720396249976 140622288487036 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8343552 140720396260195 140720396260464 140720396260464 140720396263373 0
/proc/10623/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=10626/tid=10630] ppid=10623 vsize=15027304 memory=2012 CPUtime=45.79 cores=1,3,5,7
/proc/10626/task/10630/stat : 10630 (java) S 10623 10623 8640 0 -1 1077944384 13254 0 0 0 4383 196 0 0 20 0 15 0 405401816 15387959296 2944774 33554432000 4194304 4196468 140736867960160 139711017376912 139711557764821 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10631] ppid=10623 vsize=15027304 memory=1388 CPUtime=45.61 cores=1,3,5,7
/proc/10626/task/10631/stat : 10631 (java) S 10623 10623 8640 0 -1 1077944384 14385 0 0 0 4366 195 0 0 20 0 15 0 405401816 15387959296 2944774 33554432000 4194304 4196468 140736867960160 139711016324112 139711557764821 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10632] ppid=10623 vsize=15027304 memory=932 CPUtime=0.48 cores=1,3,5,7
/proc/10626/task/10632/stat : 10632 (java) S 10623 10623 8640 0 -1 1077944384 5565 0 0 0 46 2 0 0 20 0 15 0 405401818 15387959296 2944774 33554432000 4194304 4196468 140736867960160 139710595410032 139711557765762 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10633] ppid=10623 vsize=15027304 memory=3640 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10633/stat : 10633 (java) S 10623 10623 8640 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 405401818 15387959296 2944774 33554432000 4194304 4196468 140736867960160 139709984531296 139711557764821 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10634] ppid=10623 vsize=15027304 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10634/stat : 10634 (java) S 10623 10623 8640 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 15 0 405401818 15387959296 2944774 33554432000 4194304 4196468 140736867960160 139709850309760 139711557764821 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10635] ppid=10623 vsize=15027304 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10635/stat : 10635 (java) S 10623 10623 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405401821 15387959296 2944774 33554432000 4194304 4196468 140736867960160 139709475805264 139711557773211 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10636] ppid=10623 vsize=15027304 memory=1436 CPUtime=7.14 cores=1,3,5,7
/proc/10626/task/10636/stat : 10636 (java) S 10623 10623 8640 0 -1 1077944384 27926 0 0 0 712 2 0 0 20 0 15 0 405401821 15387959296 2944774 33554432000 4194304 4196468 140736867960160 139710594357872 139711557765762 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10637] ppid=10623 vsize=15027304 memory=812 CPUtime=6.59 cores=1,3,5,7
/proc/10626/task/10637/stat : 10637 (java) S 10623 10623 8640 0 -1 1077944384 26468 0 0 0 656 3 0 0 20 0 15 0 405401821 15387959296 2944774 33554432000 4194304 4196468 140736867960160 139710593305072 139711557765762 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10638] ppid=10623 vsize=15027304 memory=1764 CPUtime=1.31 cores=1,3,5,7
/proc/10626/task/10638/stat : 10638 (java) S 10623 10623 8640 0 -1 1077944384 16853 0 0 0 128 3 0 0 20 0 15 0 405401821 15387959296 2944774 33554432000 4194304 4196468 140736867960160 139710592252784 139711557765762 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10639] ppid=10623 vsize=15027304 memory=111628 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10639/stat : 10639 (java) S 10623 10623 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405401821 15387959296 2944774 33554432000 4194304 4196468 140736867960160 139708977900512 139711557764821 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10640] ppid=10623 vsize=15027304 memory=796 CPUtime=0.51 cores=1,3,5,7
/proc/10626/task/10640/stat : 10640 (java) S 10623 10623 8640 0 -1 1077944384 576 0 0 0 23 28 0 0 20 0 15 0 405401821 15387959296 2944774 33554432000 4194304 4196468 140736867960160 139710591199664 139711557765762 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
Current children cumulated CPU time: 992.25 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 11780492 KiB
[startup+840.801 s]
/proc/loadavg: 1.90 2.11 2.28 3/236 10935
/proc/meminfo: memFree=10598720/32770624 swapFree=66997112/67108860
[pid=10623] ppid=10620 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10623/stat : 10623 (scop.sh) S 10620 10623 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405401814 115843072 349 33554432000 4194304 5098028 140720396252720 140720396249976 140622288487036 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8343552 140720396260195 140720396260464 140720396260464 140720396263373 0
/proc/10623/statm: 28282 349 296 221 0 87 0
[pid=10626] ppid=10623 vsize=15027324 memory=11780232 CPUtime=993.11 cores=1,3,5,7
/proc/10626/stat : 10626 (java) S 10623 10623 8640 0 -1 1077944320 217774 0 0 0 98434 877 0 0 20 0 15 0 405401814 15387979776 2945058 33554432000 4194304 4196468 140736867960160 140736867942704 139711557754615 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
/proc/10626/statm: 3756831 2945058 3329 1 0 3717627 0
[pid=10626/tid=10627] ppid=10623 vsize=15027324 memory=129108 CPUtime=794.38 cores=1,3,5,7
/proc/10626/task/10627/stat : 10627 (java) R 10623 10623 8640 0 -1 4202560 84489 0 0 0 79380 58 0 0 20 0 15 0 405401815 15387979776 2945058 33554432000 4194304 4196468 140736867960160 139711529589648 139711557776445 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10628] ppid=10623 vsize=15027324 memory=531320 CPUtime=45.47 cores=1,3,5,7
/proc/10626/task/10628/stat : 10628 (java) S 10623 10623 8640 0 -1 1077944384 13805 0 0 0 4353 194 0 0 20 0 15 0 405401816 15387979776 2945058 33554432000 4194304 4196468 140736867960160 139711561997200 139711557764821 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10629] ppid=10623 vsize=15027324 memory=11779000 CPUtime=45.66 cores=1,3,5,7
/proc/10626/task/10629/stat : 10629 (java) S 10623 10623 8640 0 -1 1077944384 12777 0 0 0 4367 199 0 0 20 0 15 0 405401816 15387979776 2945058 33554432000 4194304 4196468 140736867960160 139711395375888 139711557764821 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10630] ppid=10623 vsize=15027324 memory=6791534058613427641 CPUtime=45.79 cores=1,3,5,7
/proc/10626/task/10630/stat : 10630 (java) S 10623 10623 8640 0 -1 1077944384 13254 0 0 0 4383 196 0 0 20 0 15 0 405401816 15387979776 2945058 33554432000 4194304 4196468 140736867960160 139711017376912 139711557764821 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10631] ppid=10623 vsize=15027324 memory=11779096 CPUtime=45.61 cores=1,3,5,7
/proc/10626/task/10631/stat : 10631 (java) S 10623 10623 8640 0 -1 1077944384 14385 0 0 0 4366 195 0 0 20 0 15 0 405401816 15387979776 2945058 33554432000 4194304 4196468 140736867960160 139711016324112 139711557764821 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10632] ppid=10623 vsize=15027324 memory=3848 CPUtime=0.48 cores=1,3,5,7
/proc/10626/task/10632/stat : 10632 (java) S 10623 10623 8640 0 -1 1077944384 5565 0 0 0 46 2 0 0 20 0 15 0 405401818 15387979776 2945058 33554432000 4194304 4196468 140736867960160 139710595410032 139711557765762 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10633] ppid=10623 vsize=15027324 memory=2868 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10633/stat : 10633 (java) S 10623 10623 8640 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 405401818 15387979776 2945058 33554432000 4194304 4196468 140736867960160 139709984531296 139711557764821 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10634] ppid=10623 vsize=15027324 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10634/stat : 10634 (java) S 10623 10623 8640 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 15 0 405401818 15387979776 2945058 33554432000 4194304 4196468 140736867960160 139709850309760 139711557764821 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10635] ppid=10623 vsize=15027324 memory=11779096 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10635/stat : 10635 (java) S 10623 10623 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405401821 15387979776 2945058 33554432000 4194304 4196468 140736867960160 139709475805264 139711557773211 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10636] ppid=10623 vsize=15027324 memory=1436 CPUtime=7.14 cores=1,3,5,7
/proc/10626/task/10636/stat : 10636 (java) R 10623 10623 8640 0 -1 1077944384 27937 0 0 0 712 2 0 0 20 0 15 0 405401821 15387979776 2945058 33554432000 4194304 4196468 140736867960160 139710594357872 139711557765762 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10637] ppid=10623 vsize=15027324 memory=812 CPUtime=6.61 cores=1,3,5,7
/proc/10626/task/10637/stat : 10637 (java) R 10623 10623 8640 0 -1 4202560 26488 0 0 0 658 3 0 0 20 0 15 0 405401821 15387979776 2945058 33554432000 4194304 4196468 140736867960160 139710593305072 139711557766550 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10638] ppid=10623 vsize=15027324 memory=1764 CPUtime=1.34 cores=1,3,5,7
/proc/10626/task/10638/stat : 10638 (java) R 10623 10623 8640 0 -1 4202560 16907 0 0 0 131 3 0 0 20 0 15 0 405401821 15387979776 2945058 33554432000 4194304 4196468 140736867960160 139710592247552 139711541835102 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10639] ppid=10623 vsize=15027324 memory=37344 CPUtime=0 cores=1,3,5,7
/proc/10626/task/10639/stat : 10639 (java) S 10623 10623 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405401821 15387979776 2945058 33554432000 4194304 4196468 140736867960160 139708977900512 139711557764821 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
[pid=10626/tid=10640] ppid=10623 vsize=15027324 memory=3028 CPUtime=0.51 cores=1,3,5,7
/proc/10626/task/10640/stat : 10640 (java) S 10623 10623 8640 0 -1 1077944384 576 0 0 0 23 28 0 0 20 0 15 0 405401821 15387979776 2945058 33554432000 4194304 4196468 140736867960160 139710591199664 139711557765762 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21815296 140736867967785 140736867968154 140736867968154 140736867971023 0
Current children cumulated CPU time: 993.11 s
Current children cumulated vsize: 15140452 KiB
Current children cumulated memory: 11781628 KiB
[startup+841.601 s]
/proc/loadavg: 1.90 2.11 2.28 6/236 10950
/proc/meminfo: memFree=22351448/32770624 swapFree=66997112/67108860
[pid=10623] ppid=10620 vsize=113128 memory=1476 CPUtime=993.38 cores=1,3,5,7
/proc/10623/stat : 10623 (scop.sh) S 10620 10623 8640 0 -1 4202496 583 218634 0 0 0 0 98453 885 20 0 1 0 405401814 115843072 369 33554432000 4194304 5098028 140720396252720 140720396249464 140622288487036 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8343552 140720396260195 140720396260464 140720396260464 140720396263373 0
/proc/10623/statm: 28282 369 311 221 0 87 0
[pid=10936] ppid=10623 vsize=7408652 memory=100548 CPUtime=0.97 cores=1,3,5,7
/proc/10936/stat : 10936 (java) S 10623 10623 8640 0 -1 1077944320 18911 0 0 0 90 7 0 0 20 0 15 0 405485907 7586459648 25137 33554432000 4194304 4196468 140725779896320 140725779878864 139818374594295 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
/proc/10936/statm: 1852163 25137 3150 1 0 1814042 0
[pid=10936/tid=10937] ppid=10623 vsize=7408652 memory=812 CPUtime=0.65 cores=1,3,5,7
/proc/10936/task/10937/stat : 10937 (java) R 10623 10623 8640 0 -1 4202560 16298 0 0 0 59 6 0 0 20 0 15 0 405485907 7586459648 25137 33554432000 4194304 4196468 140725779896320 139818346422016 139817847591680 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10938] ppid=10623 vsize=7408652 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10938/stat : 10938 (java) S 10623 10623 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405485908 7586459648 25137 33554432000 4194304 4196468 140725779896320 139818378837136 139818374604501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10939] ppid=10623 vsize=7408652 memory=4486604260213485459 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10939/stat : 10939 (java) S 10623 10623 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405485909 7586459648 25137 33554432000 4194304 4196468 140725779896320 139818179005456 139818374604501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10940] ppid=10623 vsize=7408652 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10940/stat : 10940 (java) S 10623 10623 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405485909 7586459648 25137 33554432000 4194304 4196468 140725779896320 139818177952656 139818374604501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10941] ppid=10623 vsize=7408652 memory=676 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10941/stat : 10941 (java) S 10623 10623 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405485909 7586459648 25137 33554432000 4194304 4196468 140725779896320 139818176899856 139818374604501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10942] ppid=10623 vsize=7408652 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10942/stat : 10942 (java) S 10623 10623 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405485910 7586459648 25137 33554432000 4194304 4196468 140725779896320 139817618729328 139818374605442 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10943] ppid=10623 vsize=7408652 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10943/stat : 10943 (java) S 10623 10623 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405485910 7586459648 25137 33554432000 4194304 4196468 140725779896320 139817224496160 139818374604501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10944] ppid=10623 vsize=7408652 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10944/stat : 10944 (java) S 10623 10623 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405485911 7586459648 25137 33554432000 4194304 4196468 140725779896320 139816956060528 139818374604501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10945] ppid=10623 vsize=7408652 memory=11778104 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10945/stat : 10945 (java) S 10623 10623 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405485913 7586459648 25137 33554432000 4194304 4196468 140725779896320 139816581551952 139818374612891 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10946] ppid=10623 vsize=7408652 memory=69608 CPUtime=0.06 cores=1,3,5,7
/proc/10936/task/10946/stat : 10946 (java) R 10623 10623 8640 0 -1 4202560 455 0 0 0 6 0 0 0 20 0 15 0 405485913 7586459648 25137 33554432000 4194304 4196468 140725779896320 139817617677168 139818354250864 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10947] ppid=10623 vsize=7408652 memory=6791534058613427641 CPUtime=0.05 cores=1,3,5,7
/proc/10936/task/10947/stat : 10947 (java) R 10623 10623 8640 0 -1 4202560 368 0 0 0 5 0 0 0 20 0 15 0 405485913 7586459648 25137 33554432000 4194304 4196468 140725779896320 139817616604176 139818353783792 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10948] ppid=10623 vsize=7408652 memory=2828 CPUtime=0.17 cores=1,3,5,7
/proc/10936/task/10948/stat : 10948 (java) S 10623 10623 8640 0 -1 1077944384 460 0 0 0 17 0 0 0 20 0 15 0 405485913 7586459648 25137 33554432000 4194304 4196468 140725779896320 139817615571568 139818374605442 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10949] ppid=10623 vsize=7408652 memory=676 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10949/stat : 10949 (java) S 10623 10623 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405485914 7586459648 25137 33554432000 4194304 4196468 140725779896320 139816083647200 139818374604501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10950] ppid=10623 vsize=7408652 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10950/stat : 10950 (java) S 10623 10623 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405485914 7586459648 25137 33554432000 4194304 4196468 140725779896320 139817614518960 139818374605442 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
Current children cumulated CPU time: 994.35 s
Current children cumulated vsize: 7521780 KiB
Current children cumulated memory: 102024 KiB
[startup+842.001 s]*
/proc/loadavg: 1.90 2.11 2.28 3/241 10956
/proc/meminfo: memFree=22201516/32770624 swapFree=66997112/67108860
[pid=10623] ppid=10620 vsize=113128 memory=1476 CPUtime=993.38 cores=1,3,5,7
/proc/10623/stat : 10623 (scop.sh) S 10620 10623 8640 0 -1 4202496 583 218634 0 0 0 0 98453 885 20 0 1 0 405401814 115843072 369 33554432000 4194304 5098028 140720396252720 140720396249464 140622288487036 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8343552 140720396260195 140720396260464 140720396260464 140720396263373 0
/proc/10623/statm: 28282 369 311 221 0 87 0
[pid=10936] ppid=10623 vsize=8068440 memory=123356 CPUtime=1.41 cores=1,3,5,7
/proc/10936/stat : 10936 (java) S 10623 10623 8640 0 -1 1077944320 20684 0 0 0 131 10 0 0 20 0 19 0 405485907 8262082560 30839 33554432000 4194304 4196468 140725779896320 140725779878864 139818374594295 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
/proc/10936/statm: 2017110 30839 3210 1 0 1978454 0
[pid=10951] ppid=10936 vsize=102696 memory=75296 CPUtime=0.29 cores=1,3,5,7
/proc/10951/stat : 10951 (cryptominisat5) R 10936 10623 8640 0 -1 4202496 16067 0 0 0 27 2 0 0 20 0 1 0 405485985 105160704 18824 33554432000 4194304 4451008 140726560063824 140726560059400 140564366526835 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 25894912 140726560072636 140726560072768 140726560072768 140726560075718 0
/proc/10951/statm: 25674 18824 634 63 0 19401 0
[pid=10936/tid=10937] ppid=10623 vsize=8068440 memory=8317482817917895235 CPUtime=0.8 cores=1,3,5,7
/proc/10936/task/10937/stat : 10937 (java) S 10623 10623 8640 0 -1 1077944384 17259 0 0 0 73 7 0 0 20 0 19 0 405485907 8262082560 30839 33554432000 4194304 4196468 140725779896320 139818346434464 139818374604501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10938] ppid=10623 vsize=8068440 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10938/stat : 10938 (java) S 10623 10623 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405485908 8262082560 30839 33554432000 4194304 4196468 140725779896320 139818378837136 139818374604501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10939] ppid=10623 vsize=8068440 memory=916 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10939/stat : 10939 (java) S 10623 10623 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405485909 8262082560 30839 33554432000 4194304 4196468 140725779896320 139818179005456 139818374604501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10940] ppid=10623 vsize=8068440 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10940/stat : 10940 (java) S 10623 10623 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405485909 8262082560 30839 33554432000 4194304 4196468 140725779896320 139818177952656 139818374604501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10941] ppid=10623 vsize=8068440 memory=2868 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10941/stat : 10941 (java) S 10623 10623 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405485909 8262082560 30839 33554432000 4194304 4196468 140725779896320 139818176899856 139818374604501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10942] ppid=10623 vsize=8068440 memory=2872 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10942/stat : 10942 (java) S 10623 10623 8640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405485910 8262082560 30839 33554432000 4194304 4196468 140725779896320 139817618729328 139818374605442 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10943] ppid=10623 vsize=8068440 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10943/stat : 10943 (java) S 10623 10623 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405485910 8262082560 30839 33554432000 4194304 4196468 140725779896320 139817224496160 139818374604501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10944] ppid=10623 vsize=8068440 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10944/stat : 10944 (java) S 10623 10623 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405485911 8262082560 30839 33554432000 4194304 4196468 140725779896320 139816956060528 139818374604501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10945] ppid=10623 vsize=8068440 memory=3308 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10945/stat : 10945 (java) S 10623 10623 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405485913 8262082560 30839 33554432000 4194304 4196468 140725779896320 139816581551952 139818374612891 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10946] ppid=10623 vsize=8068440 memory=1476 CPUtime=0.17 cores=1,3,5,7
/proc/10936/task/10946/stat : 10946 (java) S 10623 10623 8640 0 -1 1077944384 672 0 0 0 17 0 0 0 20 0 19 0 405485913 8262082560 30839 33554432000 4194304 4196468 140725779896320 139817617677168 139818374605442 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10947] ppid=10623 vsize=8068440 memory=1412 CPUtime=0.16 cores=1,3,5,7
/proc/10936/task/10947/stat : 10947 (java) S 10623 10623 8640 0 -1 1077944384 788 0 0 0 16 0 0 0 20 0 19 0 405485913 8262082560 30839 33554432000 4194304 4196468 140725779896320 139817616624368 139818374605442 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10948] ppid=10623 vsize=8068440 memory=3032 CPUtime=0.22 cores=1,3,5,7
/proc/10936/task/10948/stat : 10948 (java) S 10623 10623 8640 0 -1 1077944384 580 0 0 0 22 0 0 0 20 0 19 0 405485913 8262082560 30839 33554432000 4194304 4196468 140725779896320 139817615571568 139818374605442 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10949] ppid=10623 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10949/stat : 10949 (java) S 10623 10623 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405485914 8262082560 30839 33554432000 4194304 4196468 140725779896320 139816083647200 139818374604501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10950] ppid=10623 vsize=8068440 memory=129108 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10950/stat : 10950 (java) S 10623 10623 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405485914 8262082560 30839 33554432000 4194304 4196468 140725779896320 139817614518960 139818374605442 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10952] ppid=10623 vsize=8068440 memory=540432 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10952/stat : 10952 (java) S 10623 10623 8640 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405485985 8262082560 30839 33554432000 4194304 4196468 140725779896320 139817694721216 139818374618905 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10954] ppid=10623 vsize=8068440 memory=45424 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10954/stat : 10954 (java) S 10623 10623 8640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 405485985 8262082560 30839 33554432000 4194304 4196468 140725779896320 139815546760496 139818374616221 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10955] ppid=10623 vsize=8068440 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10955/stat : 10955 (java) S 10623 10623 8640 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 405485986 8262082560 30839 33554432000 4194304 4196468 140725779896320 139815680983216 139818374616221 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
[pid=10936/tid=10956] ppid=10623 vsize=8068440 memory=8317482817917895235 CPUtime=0 cores=1,3,5,7
/proc/10936/task/10956/stat : 10956 (java) S 10623 10623 8640 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405485988 8262082560 30839 33554432000 4194304 4196468 140725779896320 139815278337712 139818374604501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28332032 140725779903483 140725779903642 140725779903642 140725779906511 0
Current children cumulated CPU time: 995.08 s
Current children cumulated vsize: 8284264 KiB
Current children cumulated memory: 200128 KiB
Child status: 0
Real time (s): 842.09
CPU time (s): 995.208
CPU user time (s): 986.215
CPU system time (s): 8.99354
CPU usage (%): 118.183
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 11781628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 986.215
system time used= 8.99354
maximum resident set size= 11780908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 256259
page faults= 0
swaps= 0
block input operations= 8
block output operations= 25656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26631
involuntary context switches= 2114
# summary of solver processes directly reported to runsolver:
# pid: 10623
# total CPU time (s): 995.208
# total CPU user time (s): 986.215
# total CPU system time (s): 8.99354
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.10515 second user time and 8.66795 second system time
The end