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-6755-serial-file.bin HOME/instance-4388359-1568297504.xml
0.66/0.52
0.66/0.52 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Thu Sep 12 16:11:04 CEST 2019
0.66/0.55 c PID: 6758
0.66/0.55 c IP: 172.20.3.145
0.66/0.55 c HOST: node145.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.64/0.98 c (0,0) Parsing End
1.64/0.99 c (0,0) CSP: 256 int (0 aux), 0 bool (0 aux), 32 ctr, max domain size 26
1.64/0.99 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.64/0.99 c (0,0) Constraint Name Generate Begin
1.64/1.00 c (0,0) Ctr:HOME/instance-4388359-1568297504.xml,ExtensionSupport:Var
1.64/1.00 c (0,0) Constraint Name Generate End
1.64/1.00 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.64/1.00 c (0,0) CSP to CSPinCNF Begin
19.93/10.81 c (10,9) translated 4 (10%) constraints
27.66/17.48 c (16,16) translated 7 (20%) constraints
35.49/24.20 c (23,22) translated 10 (30%) constraints
43.68/31.00 c (30,28) translated 13 (40%) constraints
52.30/37.91 c (37,35) translated 16 (50%) constraints
66.91/49.05 c (48,45) translated 20 (60%) constraints
74.92/55.85 c (55,51) translated 23 (70%) constraints
83.74/63.61 c (63,59) translated 26 (80%) constraints
93.25/71.30 c (70,66) translated 29 (90%) constraints
101.07/78.46 c (77,73) translated 32 (100%) constraints
101.29/78.64 c (78,73) ===========================================
101.62/78.98 c (78,73) Hybrid: #OE=264514, #LE=0
101.62/78.98 c (78,73) Hybrid
101.62/78.98 c (78,73) ===========================================
105.76/81.94 c (81,76) translated 147333 (10%) constraints
108.73/84.70 c (84,79) translated 294665 (20%) constraints
111.45/87.46 c (86,82) translated 441997 (30%) constraints
115.39/90.52 c (89,84) translated 589330 (40%) constraints
118.08/93.28 c (92,87) translated 736662 (50%) constraints
120.91/96.05 c (95,90) translated 883994 (60%) constraints
125.02/99.15 c (98,93) translated 1031327 (70%) constraints
127.87/101.93 c (101,96) translated 1178659 (80%) constraints
130.67/104.71 c (104,98) translated 1325991 (90%) constraints
134.76/107.80 c (107,101) translated 1473323 (100%) constraints
134.76/107.80 c (107,101) CSP to CSPinCNF End
134.88/107.90 c (107,101) CSP: 256 int (0 aux), 264258 bool (264258 aux), 1473323 ctr, max domain size 26
134.88/107.90 c (107,101) Heap : 2050 MiB used (max 10636 MiB), NonHeap : 26 MiB used (max 0 MiB)
134.88/107.90 c (107,101) CSPinCNF Propagation Begin
148.16/117.36 c (116,110) 1250 values, 5796 unsatisfiable literals, and 7277 valid clauses are removed
148.16/117.36 c (116,110) CSPinCNF Propagation End
148.26/117.45 c (116,110) CSP: 256 int (0 aux), 264258 bool (264258 aux), 1466046 ctr, max domain size 26
148.26/117.45 c (116,110) Heap : 4153 MiB used (max 10690 MiB), NonHeap : 27 MiB used (max 0 MiB)
148.58/117.77 c (117,110) Hybrid: #OE=264514, #LE=0
148.58/117.77 c (117,110) Simplify CSPinCNF Begin
153.44/120.73 c (120,112) Simplify CSPinCNF End
153.54/120.82 c (120,113) CSP: 256 int (0 aux), 264258 bool (264258 aux), 1466046 ctr, max domain size 26
153.54/120.82 c (120,113) Heap : 3332 MiB used (max 10664 MiB), NonHeap : 27 MiB used (max 0 MiB)
153.54/120.82 c (120,113) Calculate Precise Domain Begin
153.54/120.82 c (120,113) 0 values are removed by re-calculation
153.54/120.82 c (120,113) Calculate Precise Domain End
153.64/120.92 c (120,113) CSP: 256 int (0 aux), 264258 bool (264258 aux), 1466046 ctr, max domain size 26
153.64/120.92 c (120,113) Heap : 3332 MiB used (max 10664 MiB), NonHeap : 27 MiB used (max 0 MiB)
153.64/120.92 c (120,113) CSPinCNF to SatSolver Begin
157.23/122.97 c (122,115) 146605 (10 %) CSP clauses are encoded (0 SAT variables, 151559 SAT clauses)
161.04/124.84 c (124,116) 293210 (20 %) CSP clauses are encoded (0 SAT variables, 298164 SAT clauses)
162.27/126.08 c (125,117) 439814 (30 %) CSP clauses are encoded (0 SAT variables, 444768 SAT clauses)
164.75/127.61 c (127,118) 586419 (40 %) CSP clauses are encoded (0 SAT variables, 591373 SAT clauses)
165.95/128.85 c (128,120) 733023 (50 %) CSP clauses are encoded (0 SAT variables, 737977 SAT clauses)
168.15/130.31 c (129,121) 879628 (60 %) CSP clauses are encoded (0 SAT variables, 884582 SAT clauses)
169.35/131.55 c (131,122) 1026233 (70 %) CSP clauses are encoded (0 SAT variables, 1031187 SAT clauses)
170.55/132.78 c (132,123) 1172837 (80 %) CSP clauses are encoded (0 SAT variables, 1177791 SAT clauses)
172.75/134.25 c (133,125) 1319442 (90 %) CSP clauses are encoded (0 SAT variables, 1324396 SAT clauses)
173.95/135.48 c (134,126) 1466046 (100 %) CSP clauses are encoded (0 SAT variables, 1471000 SAT clauses)
173.95/135.48 c (134,126) CSPinCNF to SatSolver End
173.95/135.48 c (134,126) Heap : 4404 MiB used (max 10706 MiB), NonHeap : 29 MiB used (max 0 MiB)
173.95/135.48 c (134,126) 268219 bool, 1471001 clause
173.95/135.48 c (134,126) Export Begin
174.28/135.61 c (135,126) Export to HOME/scop-6755-serial-file.bin
174.28/135.61 c (135,126) Export End
174.28/135.61 c (135,126) Export File Size: 0.15 MB
174.28/135.61 c (135,126) 0,0,107,116,120,120,134,STOP-AFTER(DIMACS)
174.28/135.61 c END-Prog: Thu Sep 12 16:13:19 CEST 2019
174.28/135.65 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6755-serial-file.bin
174.94/136.12 c (0,0) Read Serial File Begin
174.94/136.12 c (0,0) HOME/scop-6755-serial-file.bin
175.20/136.38 c (0,0) Read Serial File End
175.48/136.40
175.48/136.40 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
175.48/136.40 (Solving Process)
175.48/136.40
175.48/136.42 c BEGIN-Prog: Thu Sep 12 16:13:20 CEST 2019
175.48/136.42 c PID: 6784
175.48/136.42 c IP: 172.20.3.145
175.48/136.42 c HOST: node145.alineos.net
175.48/136.42 c (0,0) SatSolver.solve Begin
175.48/136.43 c (0,0) HOME/cryptominisat5 HOME/instance-4388359-1568297504.xml-scop-6758.cnf
175.48/136.46 c (0,0) c Outputting solution to console
175.48/136.46 c (0,0) c CryptoMiniSat version 5.6.8
175.48/136.46 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
175.48/136.46 c (0,0) c CMS SHA revision GIT-notfound
175.48/136.46 c (0,0) c CMS is MIT licensed
175.48/136.46 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
175.48/136.46 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
175.48/136.46 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388359-1568297504.xml-scop-6758.cnf
175.48/136.46 c (0,0) c Reading file 'HOME/instance-4388359-1568297504.xml-scop-6758.cnf'
175.48/136.46 c (0,0) c -- header says num vars: 268219
175.48/136.46 c (0,0) c -- header says num clauses: 1471001
175.69/136.99 c (0,0) c -- clauses added: 1471001
175.69/136.99 c (0,0) c -- xor clauses added: 0
175.69/136.99 c (0,0) c -- vars added 268219
175.69/136.99 c (0,0) c Parsing time: 0.49 s
176.24/137.11 c (1,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
176.34/137.16 c (1,0) c [distill] long cls tried: 25/22 cl-short:25 lit-r:758 T: 0.05 T-out: N T-r: 99.79%
179.53/140.31 c (4,0) c [distill] long cls tried: 789/560 cl-short:769 lit-r:4725 T: 0.96 T-out: N T-r: 96.23%
180.95/141.73 c (5,0) c ------- FINAL TOTAL SEARCH STATS ---------
180.95/141.73 c (5,0) c UIP search time : 4.70 (90.50 % time)
180.95/141.73 c (5,0) c restarts : 43 (133.56 confls per restart)
180.95/141.73 c (5,0) c blocked restarts : 0 (0.00 per normal restart)
180.95/141.73 c (5,0) c time : 4.70
180.95/141.73 c (5,0) c decisions : 21780 (0.00 % random)
180.95/141.73 c (5,0) c propagations : 35434727
180.95/141.73 c (5,0) c decisions/conflicts : 3.79
180.95/141.73 c (5,0) c conflicts : 5743 (1221.57 / sec)
180.95/141.73 c (5,0) c conf lits non-minim : 251033 (43.71 lit/confl)
180.95/141.73 c (5,0) c conf lits final : 27.17
180.95/141.73 c (5,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
180.95/141.73 c (5,0) c red which0 : 1335 (23.25 % of confl)
180.95/141.73 c (5,0) c props/decision : 0.00
180.95/141.73 c (5,0) c props/conflict : 0.00
180.95/141.73 c (5,0) c 0-depth assigns : 17884 (6.67 % vars)
180.95/141.73 c (5,0) c 0-depth assigns by CNF : 0 (0.00 % vars)
180.95/141.73 c (5,0) c reduceDB time : 0.00 (0.00 % time)
180.95/141.73 c (5,0) c OccSimplifier time : 0.00 (0.00 % time)
180.95/141.73 c (5,0) c [occur] 0.00 is overhead
180.95/141.73 c (5,0) c [occur] link-in T: 0.00 cleanup T: 0.00
180.95/141.73 c (5,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
180.95/141.73 c (5,0) c SCC time : 0.00 (0.00 % time)
180.95/141.73 c (5,0) c [scc] new: 0 BP 0M T: 0.00
180.95/141.73 c (5,0) c vrep replace time : 0.00 (0.00 % time)
180.95/141.73 c (5,0) c vrep tree roots : 0
180.95/141.73 c (5,0) c vrep trees' crown : 0 (0.00 leafs/tree)
180.95/141.73 c (5,0) c distill time : 1.02 (19.58 % time)
180.95/141.73 c (5,0) c strength cache-irred time: 0.00 (0.00 % time)
180.95/141.73 c (5,0) c strength cache-red time : 0.00 (0.00 % time)
180.95/141.73 c (5,0) c Conflicts in UIP : 5743 (1105.55 confl/time_this_thread)
180.95/141.73 c (5,0) c Mem used : 160.72 MB
180.95/141.73 c (5,0) c Total time (this thread) : 5.19
180.95/141.73 c (5,0) s UNSATISFIABLE
175.71/141.80 c (5,0) SatSolver.solve End
175.71/141.80 c (5,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
175.71/141.80 c (5,0) Show results Begin
175.71/141.80 s UNSATISFIABLE
175.71/141.80 c (5,0) Show results End
175.71/141.80 c (5,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
175.71/141.80 c (5,0) 5,5,STOP-AFTER(ALL)
175.71/141.80 c END-Prog: Thu Sep 12 16:13:25 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 (8611 MiB free)
memory of node 1: 16384 MiB (8821 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388359-1568297504/watcher-4388359-1568297504 -o /tmp/evaluation-result-4388359-1568297504/solver-4388359-1568297504 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568289720-3778 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388359-1568297504.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=6755, runsolver pid=6752
Current StackSize limit: 8192 KiB
[startup+0.100137 s]*
/proc/loadavg: 2.00 2.02 2.05 3/235 6772
/proc/meminfo: memFree=17790964/32770624 swapFree=66997568/67108860
[pid=6755] ppid=6752 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6755/stat : 6755 (scop.sh) S 6752 6755 3746 0 -1 4202496 554 322 0 0 0 0 0 0 20 0 1 0 405686977 115843072 349 33554432000 4194304 5098028 140737139050704 140737139047960 140622307553916 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24457216 140737139057507 140737139057776 140737139057776 140737139060685 0
/proc/6755/statm: 28282 349 296 221 0 87 0
[pid=6758] ppid=6755 vsize=15013720 memory=74360 CPUtime=0.11 cores=1,3,5,7
/proc/6758/stat : 6758 (java) S 6755 6755 3746 0 -1 1077944320 6812 0 0 0 10 1 0 0 20 0 15 0 405686978 15374049280 18590 33554432000 4194304 4196468 140723522962112 140723522944656 140187712208631 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
/proc/6758/statm: 3753430 18590 2916 1 0 3715835 0
[pid=6758/tid=6759] ppid=6755 vsize=15014680 memory=-2915664431881770398 CPUtime=0.09 cores=1,3,5,7
/proc/6758/task/6759/stat : 6759 (java) R 6755 6755 3746 0 -1 4202560 4667 0 0 0 8 1 0 0 20 0 15 0 405686978 15375032320 18722 33554432000 4194304 4196468 140723522962112 140187683992880 140187704888349 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6760] ppid=6755 vsize=15014680 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6760/stat : 6760 (java) S 6755 6755 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405686979 15375032320 18722 33554432000 4194304 4196468 140723522962112 140187716450704 140187712218837 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6761] ppid=6755 vsize=15014680 memory=140633358997120 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6761/stat : 6761 (java) S 6755 6755 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405686979 15375032320 18722 33554432000 4194304 4196468 140723522962112 140187534539024 140187712218837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6762] ppid=6755 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6762/stat : 6762 (java) S 6755 6755 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405686979 15375032320 18722 33554432000 4194304 4196468 140723522962112 140187533486736 140187712218837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6763] ppid=6755 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6763/stat : 6763 (java) S 6755 6755 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405686979 15375032320 18722 33554432000 4194304 4196468 140723522962112 140187532433936 140187712218837 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6764] ppid=6755 vsize=15014680 memory=140633358997120 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6764/stat : 6764 (java) S 6755 6755 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405686981 15375032320 18788 33554432000 4194304 4196468 140723522962112 140187051838064 140187712219778 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6765] ppid=6755 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6765/stat : 6765 (java) S 6755 6755 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405686981 15375032320 18788 33554432000 4194304 4196468 140723522962112 140186289693984 140187712218837 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6766] ppid=6755 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6766/stat : 6766 (java) S 6755 6755 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405686982 15375032320 18788 33554432000 4194304 4196468 140723522962112 140186054813296 140187712218837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6767] ppid=6755 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6767/stat : 6767 (java) S 6755 6755 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405686984 15375032320 18788 33554432000 4194304 4196468 140723522962112 140185680304720 140187712227227 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6768] ppid=6755 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6768/stat : 6768 (java) S 6755 6755 3746 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 405686984 15375032320 18854 33554432000 4194304 4196468 140723522962112 140187050784880 140187712219778 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6769] ppid=6755 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6769/stat : 6769 (java) S 6755 6755 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405686984 15375032320 18854 33554432000 4194304 4196468 140723522962112 140187049732080 140187712219778 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6770] ppid=6755 vsize=15014680 memory=140633358997120 CPUtime=0.01 cores=1,3,5,7
/proc/6758/task/6770/stat : 6770 (java) S 6755 6755 3746 0 -1 1077944384 466 0 0 0 1 0 0 0 20 0 15 0 405686984 15375032320 18854 33554432000 4194304 4196468 140723522962112 140187048679792 140187712219778 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6771] ppid=6755 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6771/stat : 6771 (java) S 6755 6755 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405686984 15375032320 18854 33554432000 4194304 4196468 140723522962112 140185182398944 140187712218837 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6772] ppid=6755 vsize=15014680 memory=140633358997120 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6772/stat : 6772 (java) S 6755 6755 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405686984 15375032320 18854 33554432000 4194304 4196468 140723522962112 140187047627696 140187712219778 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15126848 KiB
Current children cumulated memory: 75756 KiB
[startup+0.210948 s]*
/proc/loadavg: 2.00 2.02 2.05 3/235 6772
/proc/meminfo: memFree=17775220/32770624 swapFree=66997568/67108860
[pid=6755] ppid=6752 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6755/stat : 6755 (scop.sh) S 6752 6755 3746 0 -1 4202496 554 322 0 0 0 0 0 0 20 0 1 0 405686977 115843072 349 33554432000 4194304 5098028 140737139050704 140737139047960 140622307553916 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24457216 140737139057507 140737139057776 140737139057776 140737139060685 0
/proc/6755/statm: 28282 349 296 221 0 87 0
[pid=6758] ppid=6755 vsize=15012696 memory=86020 CPUtime=0.25 cores=1,3,5,7
/proc/6758/stat : 6758 (java) S 6755 6755 3746 0 -1 1077944320 11073 0 0 0 22 3 0 0 20 0 15 0 405686978 15373000704 21505 33554432000 4194304 4196468 140723522962112 140723522944656 140187712208631 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
/proc/6758/statm: 3753174 21505 2919 1 0 3715579 0
[pid=6758/tid=6759] ppid=6755 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/6758/task/6759/stat : 6759 (java) R 6755 6755 3746 0 -1 4202560 8788 0 0 0 17 2 0 0 20 0 15 0 405686978 15373000704 21505 33554432000 4194304 4196468 140723522962112 140187684024272 140187696289118 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6760] ppid=6755 vsize=15012696 memory=345 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6760/stat : 6760 (java) S 6755 6755 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405686979 15373000704 21505 33554432000 4194304 4196468 140723522962112 140187716450704 140187712218837 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6761] ppid=6755 vsize=15012696 memory=140633359004065 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6761/stat : 6761 (java) S 6755 6755 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405686979 15373000704 21505 33554432000 4194304 4196468 140723522962112 140187534539024 140187712218837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6762] ppid=6755 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6762/stat : 6762 (java) S 6755 6755 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405686979 15373000704 21505 33554432000 4194304 4196468 140723522962112 140187533486736 140187712218837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6763] ppid=6755 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6763/stat : 6763 (java) S 6755 6755 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405686979 15373000704 21505 33554432000 4194304 4196468 140723522962112 140187532433936 140187712218837 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6764] ppid=6755 vsize=15012696 memory=140633358997120 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6764/stat : 6764 (java) S 6755 6755 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405686981 15373000704 21505 33554432000 4194304 4196468 140723522962112 140187051838064 140187712219778 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6765] ppid=6755 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6765/stat : 6765 (java) S 6755 6755 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405686981 15373000704 21505 33554432000 4194304 4196468 140723522962112 140186289693984 140187712218837 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6766] ppid=6755 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6766/stat : 6766 (java) S 6755 6755 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405686982 15373000704 21505 33554432000 4194304 4196468 140723522962112 140186054813296 140187712218837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6767] ppid=6755 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6767/stat : 6767 (java) S 6755 6755 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405686984 15373000704 21505 33554432000 4194304 4196468 140723522962112 140185680304720 140187712227227 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6768] ppid=6755 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6758/task/6768/stat : 6768 (java) S 6755 6755 3746 0 -1 1077944384 434 0 0 0 1 0 0 0 20 0 15 0 405686984 15373000704 21505 33554432000 4194304 4196468 140723522962112 140187050784880 140187712219778 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6769] ppid=6755 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6769/stat : 6769 (java) S 6755 6755 3746 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 405686984 15373000704 21505 33554432000 4194304 4196468 140723522962112 140187049732080 140187712219778 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6770] ppid=6755 vsize=15012696 memory=140633358997120 CPUtime=0.03 cores=1,3,5,7
/proc/6758/task/6770/stat : 6770 (java) S 6755 6755 3746 0 -1 1077944384 480 0 0 0 3 0 0 0 20 0 15 0 405686984 15373000704 21505 33554432000 4194304 4196468 140723522962112 140187048679792 140187712219778 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6771] ppid=6755 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6771/stat : 6771 (java) S 6755 6755 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405686984 15373000704 21505 33554432000 4194304 4196468 140723522962112 140185182398944 140187712218837 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6772] ppid=6755 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6772/stat : 6772 (java) S 6755 6755 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405686984 15373000704 21505 33554432000 4194304 4196468 140723522962112 140187047627696 140187712219778 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87416 KiB
[startup+0.310859 s]*
/proc/loadavg: 2.00 2.02 2.05 4/235 6772
/proc/meminfo: memFree=17772148/32770624 swapFree=66997568/67108860
[pid=6755] ppid=6752 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6755/stat : 6755 (scop.sh) S 6752 6755 3746 0 -1 4202496 554 322 0 0 0 0 0 0 20 0 1 0 405686977 115843072 349 33554432000 4194304 5098028 140737139050704 140737139047960 140622307553916 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24457216 140737139057507 140737139057776 140737139057776 140737139060685 0
/proc/6755/statm: 28282 349 296 221 0 87 0
[pid=6758] ppid=6755 vsize=15012696 memory=89764 CPUtime=0.43 cores=1,3,5,7
/proc/6758/stat : 6758 (java) S 6755 6755 3746 0 -1 1077944320 12001 0 0 0 39 4 0 0 20 0 15 0 405686978 15373000704 22441 33554432000 4194304 4196468 140723522962112 140723522944656 140187712208631 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
/proc/6758/statm: 3753174 22441 3020 1 0 3715579 0
[pid=6758/tid=6759] ppid=6755 vsize=15012696 memory=7022364632946311227 CPUtime=0.3 cores=1,3,5,7
/proc/6758/task/6759/stat : 6759 (java) R 6755 6755 3746 0 -1 4202560 9557 0 0 0 27 3 0 0 20 0 15 0 405686978 15373000704 22441 33554432000 4194304 4196468 140723522962112 140187683991648 140187692483406 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6760] ppid=6755 vsize=15012696 memory=288230604707987820 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6760/stat : 6760 (java) S 6755 6755 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405686979 15373000704 22441 33554432000 4194304 4196468 140723522962112 140187716450704 140187712218837 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6761] ppid=6755 vsize=15012696 memory=14694084753234482 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6761/stat : 6761 (java) S 6755 6755 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405686979 15373000704 22441 33554432000 4194304 4196468 140723522962112 140187534539024 140187712218837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6762] ppid=6755 vsize=15012696 memory=281266402654576 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6762/stat : 6762 (java) S 6755 6755 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405686979 15373000704 22441 33554432000 4194304 4196468 140723522962112 140187533486736 140187712218837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6763] ppid=6755 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6763/stat : 6763 (java) S 6755 6755 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405686979 15373000704 22441 33554432000 4194304 4196468 140723522962112 140187532433936 140187712218837 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6764] ppid=6755 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6764/stat : 6764 (java) S 6755 6755 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405686981 15373000704 22441 33554432000 4194304 4196468 140723522962112 140187051838064 140187712219778 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6765] ppid=6755 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6765/stat : 6765 (java) S 6755 6755 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405686981 15373000704 22441 33554432000 4194304 4196468 140723522962112 140186289693984 140187712218837 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6766] ppid=6755 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6766/stat : 6766 (java) S 6755 6755 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405686982 15373000704 22441 33554432000 4194304 4196468 140723522962112 140186054813296 140187712218837 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6767] ppid=6755 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6767/stat : 6767 (java) S 6755 6755 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405686984 15373000704 22441 33554432000 4194304 4196468 140723522962112 140185680304720 140187712227227 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6768] ppid=6755 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6758/task/6768/stat : 6768 (java) S 6755 6755 3746 0 -1 1077944384 450 0 0 0 1 0 0 0 20 0 15 0 405686984 15373000704 22441 33554432000 4194304 4196468 140723522962112 140187050784880 140187712219778 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6769] ppid=6755 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6758/task/6769/stat : 6769 (java) S 6755 6755 3746 0 -1 1077944384 158 0 0 0 3 0 0 0 20 0 15 0 405686984 15373000704 22441 33554432000 4194304 4196468 140723522962112 140187049732080 140187712219778 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6770] ppid=6755 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6758/task/6770/stat : 6770 (java) S 6755 6755 3746 0 -1 1077944384 503 0 0 0 7 0 0 0 20 0 15 0 405686984 15373000704 22441 33554432000 4194304 4196468 140723522962112 140187048679792 140187712219778 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6771] ppid=6755 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6771/stat : 6771 (java) S 6755 6755 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405686984 15373000704 22441 33554432000 4194304 4196468 140723522962112 140185182398944 140187712218837 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6772] ppid=6755 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6772/stat : 6772 (java) S 6755 6755 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405686984 15373000704 22441 33554432000 4194304 4196468 140723522962112 140187047627696 140187712219778 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91160 KiB
[startup+0.700727 s]
/proc/loadavg: 2.00 2.02 2.05 3/235 6772
/proc/meminfo: memFree=17749044/32770624 swapFree=66997568/67108860
[pid=6755] ppid=6752 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6755/stat : 6755 (scop.sh) S 6752 6755 3746 0 -1 4202496 554 322 0 0 0 0 0 0 20 0 1 0 405686977 115843072 349 33554432000 4194304 5098028 140737139050704 140737139047960 140622307553916 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24457216 140737139057507 140737139057776 140737139057776 140737139060685 0
/proc/6755/statm: 28282 349 296 221 0 87 0
[pid=6758] ppid=6755 vsize=15021092 memory=129972 CPUtime=1 cores=1,3,5,7
/proc/6758/stat : 6758 (java) S 6755 6755 3746 0 -1 1077944320 19839 0 0 0 93 7 0 0 20 0 15 0 405686978 15381598208 32493 33554432000 4194304 4196468 140723522962112 140723522944656 140187712208631 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
/proc/6758/statm: 3755273 32493 3202 1 0 3716603 0
[pid=6758/tid=6759] ppid=6755 vsize=15021092 memory=1781203469569 CPUtime=0.68 cores=1,3,5,7
/proc/6758/task/6759/stat : 6759 (java) R 6755 6755 3746 0 -1 4202560 16966 0 0 0 62 6 0 0 20 0 15 0 405686978 15381598208 32493 33554432000 4194304 4196468 140723522962112 140187684030160 140187696289118 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6760] ppid=6755 vsize=15021092 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6760/stat : 6760 (java) S 6755 6755 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405686979 15381598208 32493 33554432000 4194304 4196468 140723522962112 140187716450704 140187712218837 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6761] ppid=6755 vsize=15021092 memory=3928 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6761/stat : 6761 (java) S 6755 6755 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405686979 15381598208 32493 33554432000 4194304 4196468 140723522962112 140187534539024 140187712218837 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6762] ppid=6755 vsize=15021092 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6762/stat : 6762 (java) S 6755 6755 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405686979 15381598208 32493 33554432000 4194304 4196468 140723522962112 140187533486736 140187712218837 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6763] ppid=6755 vsize=15021092 memory=1676 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6763/stat : 6763 (java) S 6755 6755 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405686979 15381598208 32493 33554432000 4194304 4196468 140723522962112 140187532433936 140187712218837 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6764] ppid=6755 vsize=15021092 memory=1212 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6764/stat : 6764 (java) S 6755 6755 3746 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405686981 15381598208 32493 33554432000 4194304 4196468 140723522962112 140187051838064 140187712219778 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6765] ppid=6755 vsize=15021092 memory=1044 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6765/stat : 6765 (java) S 6755 6755 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405686981 15381598208 32493 33554432000 4194304 4196468 140723522962112 140186289693984 140187712218837 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6766] ppid=6755 vsize=15021092 memory=712 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6766/stat : 6766 (java) S 6755 6755 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405686982 15381598208 32493 33554432000 4194304 4196468 140723522962112 140186054813296 140187712218837 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6767] ppid=6755 vsize=15021092 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6767/stat : 6767 (java) S 6755 6755 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405686984 15381598208 32493 33554432000 4194304 4196468 140723522962112 140185680304720 140187712227227 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6768] ppid=6755 vsize=15021092 memory=7984 CPUtime=0.08 cores=1,3,5,7
/proc/6758/task/6768/stat : 6768 (java) S 6755 6755 3746 0 -1 1077944384 711 0 0 0 8 0 0 0 20 0 15 0 405686984 15381598208 32493 33554432000 4194304 4196468 140723522962112 140187050784880 140187712219778 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6769] ppid=6755 vsize=15021092 memory=10596 CPUtime=0.07 cores=1,3,5,7
/proc/6758/task/6769/stat : 6769 (java) S 6755 6755 3746 0 -1 1077944384 216 0 0 0 7 0 0 0 20 0 15 0 405686984 15381598208 32493 33554432000 4194304 4196468 140723522962112 140187049732080 140187712219778 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6770] ppid=6755 vsize=15021092 memory=14012 CPUtime=0.15 cores=1,3,5,7
/proc/6758/task/6770/stat : 6770 (java) R 6755 6755 3746 0 -1 4202560 612 0 0 0 15 0 0 0 20 0 15 0 405686984 15381598208 32493 33554432000 4194304 4196468 140723522962112 140187048679792 140187705305467 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6771] ppid=6755 vsize=15021092 memory=14080 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6771/stat : 6771 (java) S 6755 6755 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405686984 15381598208 32493 33554432000 4194304 4196468 140723522962112 140185182398944 140187712218837 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
[pid=6758/tid=6772] ppid=6755 vsize=15021092 memory=19988 CPUtime=0 cores=1,3,5,7
/proc/6758/task/6772/stat : 6772 (java) S 6755 6755 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405686984 15381598208 32493 33554432000 4194304 4196468 140723522962112 140187047627696 140187712219778 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140723522970410 140723522970778 140723522970778 140723522973647 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131368 KiB
[startup+1.5017 s]
/proc/loadavg: 2.00 2.02 2.05 4/235 6772
/proc/meminfo: memFree=17713932/32770624 swapFree=66997568/67108860
[pid=6755] ppid=6752 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6755/stat : 6755 (scop.sh) S 6752 6755 3746 0 -1 4202496 554 322 0 0 0 0 0 0 20 0 1 0 405686977 115843072 349 33554432000 4194304 5098028 140737139050704 140737139047960 140622307553916 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24457216 140737139057507 140737139057776 140737139057776 140737139060685 0
/proc/6755/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/6784/task/6803/stat : 6803 (java) S 6755 6755 3746 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 405700623 8262082560 30751 33554432000 4194304 4196468 140726954348256 139823734046864 139826210800797 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6804] ppid=6755 vsize=8068440 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6804/stat : 6804 (java) S 6755 6755 3746 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 405700625 8262082560 30751 33554432000 4194304 4196468 140726954348256 139823197183664 139826210789077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
Current children cumulated CPU time: 178.43 s
Current children cumulated vsize: 8371640 KiB
Current children cumulated memory: 287292 KiB
[startup+140.801 s]
/proc/loadavg: 2.13 2.04 2.05 3/241 6804
/proc/meminfo: memFree=17524876/32770624 swapFree=66997568/67108860
[pid=6755] ppid=6752 vsize=113128 memory=1476 CPUtime=174.35 cores=1,3,5,7
/proc/6755/stat : 6755 (scop.sh) S 6752 6755 3746 0 -1 4202496 582 84262 0 0 0 0 17019 416 20 0 1 0 405686977 115843072 369 33554432000 4194304 5098028 140737139050704 140737139047448 140622307553916 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24457216 140737139057507 140737139057776 140737139057776 140737139060685 0
/proc/6755/statm: 28282 369 311 221 0 87 0
[pid=6784] ppid=6755 vsize=8068440 memory=123004 CPUtime=1.34 cores=1,3,5,7
/proc/6784/stat : 6784 (java) S 6755 6755 3746 0 -1 1077944320 20182 0 0 0 127 7 0 0 20 0 19 0 405700543 8262082560 30751 33554432000 4194304 4196468 140726954348256 140726954330800 139826210778871 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
/proc/6784/statm: 2017110 30751 3198 1 0 1978454 0
[pid=6799] ppid=6784 vsize=190732 memory=163572 CPUtime=4.34 cores=1,3,5,7
/proc/6799/stat : 6799 (cryptominisat5) R 6784 6755 3746 0 -1 4202496 81292 0 0 0 426 8 0 0 20 0 1 0 405700622 195309568 40893 33554432000 4194304 4451008 140724665046448 140724665041000 139999147659433 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 31965184 140724665054141 140724665054272 140724665054272 140724665057222 0
/proc/6799/statm: 47683 40893 642 63 0 41410 0
[pid=6784/tid=6785] ppid=6755 vsize=8068440 memory=3612 CPUtime=0.81 cores=1,3,5,7
/proc/6784/task/6785/stat : 6785 (java) S 6755 6755 3746 0 -1 1077944384 16955 0 0 0 75 6 0 0 20 0 19 0 405700544 8262082560 30751 33554432000 4194304 4196468 140726954348256 139826182619040 139826210789077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6786] ppid=6755 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6786/stat : 6786 (java) S 6755 6755 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405700545 8262082560 30751 33554432000 4194304 4196468 140726954348256 139826215021712 139826210789077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6787] ppid=6755 vsize=8068440 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6787/stat : 6787 (java) S 6755 6755 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405700545 8262082560 30751 33554432000 4194304 4196468 140726954348256 139826020785168 139826210789077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6788] ppid=6755 vsize=8068440 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6788/stat : 6788 (java) S 6755 6755 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405700545 8262082560 30751 33554432000 4194304 4196468 140726954348256 139826019732368 139826210789077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6789] ppid=6755 vsize=8068440 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6789/stat : 6789 (java) S 6755 6755 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405700545 8262082560 30751 33554432000 4194304 4196468 140726954348256 139826018679568 139826210789077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6790] ppid=6755 vsize=8068440 memory=1432 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6790/stat : 6790 (java) S 6755 6755 3746 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405700546 8262082560 30751 33554432000 4194304 4196468 140726954348256 139825254435184 139826210790018 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6791] ppid=6755 vsize=8068440 memory=776 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6791/stat : 6791 (java) S 6755 6755 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405700547 8262082560 30751 33554432000 4194304 4196468 140726954348256 139825143342112 139826210789077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6792] ppid=6755 vsize=8068440 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6792/stat : 6792 (java) S 6755 6755 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405700547 8262082560 30751 33554432000 4194304 4196468 140726954348256 139824874906480 139826210789077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6793] ppid=6755 vsize=8068440 memory=-3622645143214314312 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6793/stat : 6793 (java) S 6755 6755 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405700550 8262082560 30751 33554432000 4194304 4196468 140726954348256 139824500397904 139826210797467 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6794] ppid=6755 vsize=8068440 memory=6646156 CPUtime=0.11 cores=1,3,5,7
/proc/6784/task/6794/stat : 6794 (java) S 6755 6755 3746 0 -1 1077944384 670 0 0 0 11 0 0 0 20 0 19 0 405700550 8262082560 30751 33554432000 4194304 4196468 140726954348256 139825253383024 139826210790018 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6795] ppid=6755 vsize=8068440 memory=712 CPUtime=0.16 cores=1,3,5,7
/proc/6784/task/6795/stat : 6795 (java) S 6755 6755 3746 0 -1 1077944384 556 0 0 0 16 0 0 0 20 0 19 0 405700550 8262082560 30751 33554432000 4194304 4196468 140726954348256 139825252330224 139826210790018 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6796] ppid=6755 vsize=8068440 memory=1396 CPUtime=0.23 cores=1,3,5,7
/proc/6784/task/6796/stat : 6796 (java) S 6755 6755 3746 0 -1 1077944384 607 0 0 0 23 0 0 0 20 0 19 0 405700550 8262082560 30751 33554432000 4194304 4196468 140726954348256 139825251277424 139826210790018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6797] ppid=6755 vsize=8068440 memory=-3622645143214314312 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6797/stat : 6797 (java) S 6755 6755 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405700550 8262082560 30751 33554432000 4194304 4196468 140726954348256 139824002493152 139826210789077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6798] ppid=6755 vsize=8068440 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6798/stat : 6798 (java) S 6755 6755 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405700550 8262082560 30751 33554432000 4194304 4196468 140726954348256 139825250224816 139826210790018 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6800] ppid=6755 vsize=8068440 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6800/stat : 6800 (java) S 6755 6755 3746 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405700622 8262082560 30751 33554432000 4194304 4196468 140726954348256 139825242191040 139826210803481 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6802] ppid=6755 vsize=8068440 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6802/stat : 6802 (java) S 6755 6755 3746 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 405700622 8262082560 30751 33554432000 4194304 4196468 140726954348256 139823599824144 139826210800797 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6803] ppid=6755 vsize=8068440 memory=988 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6803/stat : 6803 (java) S 6755 6755 3746 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 405700623 8262082560 30751 33554432000 4194304 4196468 140726954348256 139823734046864 139826210800797 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6804] ppid=6755 vsize=8068440 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6804/stat : 6804 (java) S 6755 6755 3746 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 405700625 8262082560 30751 33554432000 4194304 4196468 140726954348256 139823197183664 139826210789077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
Current children cumulated CPU time: 180.03 s
Current children cumulated vsize: 8372300 KiB
Current children cumulated memory: 288052 KiB
[startup+141.601 s]
/proc/loadavg: 2.13 2.04 2.05 3/241 6804
/proc/meminfo: memFree=17524628/32770624 swapFree=66997568/67108860
[pid=6755] ppid=6752 vsize=113128 memory=1476 CPUtime=174.35 cores=1,3,5,7
/proc/6755/stat : 6755 (scop.sh) S 6752 6755 3746 0 -1 4202496 582 84262 0 0 0 0 17019 416 20 0 1 0 405686977 115843072 369 33554432000 4194304 5098028 140737139050704 140737139047448 140622307553916 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24457216 140737139057507 140737139057776 140737139057776 140737139060685 0
/proc/6755/statm: 28282 369 311 221 0 87 0
[pid=6784] ppid=6755 vsize=8068440 memory=123004 CPUtime=1.35 cores=1,3,5,7
/proc/6784/stat : 6784 (java) S 6755 6755 3746 0 -1 1077944320 20182 0 0 0 127 8 0 0 20 0 19 0 405700543 8262082560 30751 33554432000 4194304 4196468 140726954348256 140726954330800 139826210778871 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
/proc/6784/statm: 2017110 30751 3198 1 0 1978454 0
[pid=6799] ppid=6784 vsize=191848 memory=164576 CPUtime=5.15 cores=1,3,5,7
/proc/6799/stat : 6799 (cryptominisat5) R 6784 6755 3746 0 -1 4202496 85132 0 0 0 506 9 0 0 20 0 1 0 405700622 196452352 41144 33554432000 4194304 4451008 140724665046448 140724665042568 139999147665779 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 31965184 140724665054141 140724665054272 140724665054272 140724665057222 0
/proc/6799/statm: 47962 41144 642 63 0 41689 0
[pid=6784/tid=6785] ppid=6755 vsize=8068440 memory=-3622645143214314312 CPUtime=0.81 cores=1,3,5,7
/proc/6784/task/6785/stat : 6785 (java) S 6755 6755 3746 0 -1 1077944384 16955 0 0 0 75 6 0 0 20 0 19 0 405700544 8262082560 30751 33554432000 4194304 4196468 140726954348256 139826182619040 139826210789077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6786] ppid=6755 vsize=8068440 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6786/stat : 6786 (java) S 6755 6755 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405700545 8262082560 30751 33554432000 4194304 4196468 140726954348256 139826215021712 139826210789077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6787] ppid=6755 vsize=8068440 memory=1432 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6787/stat : 6787 (java) S 6755 6755 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405700545 8262082560 30751 33554432000 4194304 4196468 140726954348256 139826020785168 139826210789077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6788] ppid=6755 vsize=8068440 memory=776 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6788/stat : 6788 (java) S 6755 6755 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405700545 8262082560 30751 33554432000 4194304 4196468 140726954348256 139826019732368 139826210789077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6789] ppid=6755 vsize=8068440 memory=-3622645143214314312 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6789/stat : 6789 (java) S 6755 6755 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405700545 8262082560 30751 33554432000 4194304 4196468 140726954348256 139826018679568 139826210789077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6790] ppid=6755 vsize=8068440 memory=3852 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6790/stat : 6790 (java) S 6755 6755 3746 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405700546 8262082560 30751 33554432000 4194304 4196468 140726954348256 139825254435184 139826210790018 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6791] ppid=6755 vsize=8068440 memory=2896 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6791/stat : 6791 (java) S 6755 6755 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405700547 8262082560 30751 33554432000 4194304 4196468 140726954348256 139825143342112 139826210789077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6792] ppid=6755 vsize=8068440 memory=2940 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6792/stat : 6792 (java) S 6755 6755 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405700547 8262082560 30751 33554432000 4194304 4196468 140726954348256 139824874906480 139826210789077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6793] ppid=6755 vsize=8068440 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6793/stat : 6793 (java) S 6755 6755 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405700550 8262082560 30751 33554432000 4194304 4196468 140726954348256 139824500397904 139826210797467 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6794] ppid=6755 vsize=8068440 memory=1056 CPUtime=0.11 cores=1,3,5,7
/proc/6784/task/6794/stat : 6794 (java) S 6755 6755 3746 0 -1 1077944384 670 0 0 0 11 0 0 0 20 0 19 0 405700550 8262082560 30751 33554432000 4194304 4196468 140726954348256 139825253383024 139826210790018 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6795] ppid=6755 vsize=8068440 memory=3928 CPUtime=0.16 cores=1,3,5,7
/proc/6784/task/6795/stat : 6795 (java) S 6755 6755 3746 0 -1 1077944384 556 0 0 0 16 0 0 0 20 0 19 0 405700550 8262082560 30751 33554432000 4194304 4196468 140726954348256 139825252330224 139826210790018 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6796] ppid=6755 vsize=8068440 memory=1552 CPUtime=0.23 cores=1,3,5,7
/proc/6784/task/6796/stat : 6796 (java) S 6755 6755 3746 0 -1 1077944384 607 0 0 0 23 0 0 0 20 0 19 0 405700550 8262082560 30751 33554432000 4194304 4196468 140726954348256 139825251277424 139826210790018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6797] ppid=6755 vsize=8068440 memory=1676 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6797/stat : 6797 (java) S 6755 6755 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405700550 8262082560 30751 33554432000 4194304 4196468 140726954348256 139824002493152 139826210789077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6798] ppid=6755 vsize=8068440 memory=1212 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6798/stat : 6798 (java) S 6755 6755 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405700550 8262082560 30751 33554432000 4194304 4196468 140726954348256 139825250224816 139826210790018 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6800] ppid=6755 vsize=8068440 memory=1044 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6800/stat : 6800 (java) S 6755 6755 3746 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405700622 8262082560 30751 33554432000 4194304 4196468 140726954348256 139825242191040 139826210803481 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6802] ppid=6755 vsize=8068440 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6802/stat : 6802 (java) S 6755 6755 3746 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 405700622 8262082560 30751 33554432000 4194304 4196468 140726954348256 139823599824144 139826210800797 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6803] ppid=6755 vsize=8068440 memory=508 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6803/stat : 6803 (java) S 6755 6755 3746 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 405700623 8262082560 30751 33554432000 4194304 4196468 140726954348256 139823734046864 139826210800797 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6804] ppid=6755 vsize=8068440 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6804/stat : 6804 (java) S 6755 6755 3746 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 405700625 8262082560 30751 33554432000 4194304 4196468 140726954348256 139823197183664 139826210789077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
Current children cumulated CPU time: 180.85 s
Current children cumulated vsize: 8373416 KiB
Current children cumulated memory: 289056 KiB
[startup+141.801 s]
/proc/loadavg: 2.13 2.04 2.05 3/241 6804
/proc/meminfo: memFree=17524628/32770624 swapFree=66997568/67108860
[pid=6755] ppid=6752 vsize=113128 memory=1476 CPUtime=174.35 cores=1,3,5,7
/proc/6755/stat : 6755 (scop.sh) S 6752 6755 3746 0 -1 4202496 582 84262 0 0 0 0 17019 416 20 0 1 0 405686977 115843072 369 33554432000 4194304 5098028 140737139050704 140737139047448 140622307553916 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24457216 140737139057507 140737139057776 140737139057776 140737139060685 0
/proc/6755/statm: 28282 369 311 221 0 87 0
[pid=6784] ppid=6755 vsize=8068440 memory=123768 CPUtime=1.36 cores=1,3,5,7
/proc/6784/stat : 6784 (java) S 6755 6755 3746 0 -1 1077944320 20376 0 0 0 128 8 0 0 20 0 19 0 405700543 8262082560 30942 33554432000 4194304 4196468 140726954348256 140726954330800 139826210778871 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
/proc/6784/statm: 2017110 30942 3198 1 0 1978454 0
[pid=6784/tid=6785] ppid=6755 vsize=8068440 memory=896 CPUtime=0.81 cores=1,3,5,7
/proc/6784/task/6785/stat : 6785 (java) S 6755 6755 3746 0 -1 1077944384 16955 0 0 0 75 6 0 0 20 0 19 0 405700544 8262082560 30942 33554432000 4194304 4196468 140726954348256 139826182619040 139826210789077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6786] ppid=6755 vsize=8068440 memory=712 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6786/stat : 6786 (java) S 6755 6755 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405700545 8262082560 30942 33554432000 4194304 4196468 140726954348256 139826215021712 139826210789077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6787] ppid=6755 vsize=8068440 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6787/stat : 6787 (java) S 6755 6755 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405700545 8262082560 30942 33554432000 4194304 4196468 140726954348256 139826020785168 139826210789077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6788] ppid=6755 vsize=8068440 memory=7984 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6788/stat : 6788 (java) S 6755 6755 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405700545 8262082560 30942 33554432000 4194304 4196468 140726954348256 139826019732368 139826210789077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6789] ppid=6755 vsize=8068440 memory=10596 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6789/stat : 6789 (java) S 6755 6755 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405700545 8262082560 30942 33554432000 4194304 4196468 140726954348256 139826018679568 139826210789077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6790] ppid=6755 vsize=8068440 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6790/stat : 6790 (java) S 6755 6755 3746 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405700546 8262082560 30942 33554432000 4194304 4196468 140726954348256 139825254435184 139826210790018 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6791] ppid=6755 vsize=8068440 memory=14080 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6791/stat : 6791 (java) S 6755 6755 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405700547 8262082560 30942 33554432000 4194304 4196468 140726954348256 139825143342112 139826210789077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6792] ppid=6755 vsize=8068440 memory=19988 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6792/stat : 6792 (java) S 6755 6755 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405700547 8262082560 30942 33554432000 4194304 4196468 140726954348256 139824874906480 139826210789077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6793] ppid=6755 vsize=8068440 memory=1976 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6793/stat : 6793 (java) S 6755 6755 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405700550 8262082560 30942 33554432000 4194304 4196468 140726954348256 139824500397904 139826210797467 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6794] ppid=6755 vsize=8068440 memory=2496 CPUtime=0.11 cores=1,3,5,7
/proc/6784/task/6794/stat : 6794 (java) S 6755 6755 3746 0 -1 1077944384 670 0 0 0 11 0 0 0 20 0 19 0 405700550 8262082560 30942 33554432000 4194304 4196468 140726954348256 139825253383024 139826210790018 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6795] ppid=6755 vsize=8068440 memory=1760 CPUtime=0.16 cores=1,3,5,7
/proc/6784/task/6795/stat : 6795 (java) S 6755 6755 3746 0 -1 1077944384 556 0 0 0 16 0 0 0 20 0 19 0 405700550 8262082560 30942 33554432000 4194304 4196468 140726954348256 139825252330224 139826210790018 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6796] ppid=6755 vsize=8068440 memory=111636 CPUtime=0.24 cores=1,3,5,7
/proc/6784/task/6796/stat : 6796 (java) S 6755 6755 3746 0 -1 1077944384 799 0 0 0 24 0 0 0 20 0 19 0 405700550 8262082560 30942 33554432000 4194304 4196468 140726954348256 139825251277424 139826210790018 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6797] ppid=6755 vsize=8068440 memory=804 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6797/stat : 6797 (java) S 6755 6755 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405700550 8262082560 30942 33554432000 4194304 4196468 140726954348256 139824002493152 139826210789077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6798] ppid=6755 vsize=8068440 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6798/stat : 6798 (java) S 6755 6755 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405700550 8262082560 30942 33554432000 4194304 4196468 140726954348256 139825250224816 139826210790018 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6800] ppid=6755 vsize=8068440 memory=916 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6800/stat : 6800 (java) S 6755 6755 3746 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405700622 8262082560 30942 33554432000 4194304 4196468 140726954348256 139825242191040 139826210803481 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6802] ppid=6755 vsize=8068440 memory=3852 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6802/stat : 6802 (java) S 6755 6755 3746 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 405700622 8262082560 30942 33554432000 4194304 4196468 140726954348256 139823599824144 139826210800797 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6803] ppid=6755 vsize=8068440 memory=2896 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6803/stat : 6803 (java) S 6755 6755 3746 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 405700623 8262082560 30942 33554432000 4194304 4196468 140726954348256 139823734046864 139826210800797 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
[pid=6784/tid=6804] ppid=6755 vsize=8068440 memory=2940 CPUtime=0 cores=1,3,5,7
/proc/6784/task/6804/stat : 6804 (java) S 6755 6755 3746 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 405700625 8262082560 30942 33554432000 4194304 4196468 140726954348256 139823197183664 139826210789077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34865152 140726954353660 140726954353818 140726954353818 140726954356687 0
Current children cumulated CPU time: 175.71 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 125244 KiB
Child status: 0
Real time (s): 141.819
CPU time (s): 181.108
CPU user time (s): 176.742
CPU system time (s): 4.36516
CPU usage (%): 127.703
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 6714616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 176.742
system time used= 4.36516
maximum resident set size= 6713372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192487
page faults= 0
swaps= 0
block input operations= 0
block output operations= 71320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10076
involuntary context switches= 490
# summary of solver processes directly reported to runsolver:
# pid: 6755
# total CPU time (s): 181.108
# total CPU user time (s): 176.742
# total CPU system time (s): 4.36516
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.873008 second user time and 1.51053 second system time
The end