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-13495-serial-file.bin HOME/instance-4388356-1568297498.xml
0.66/0.53
0.66/0.53 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.53
0.66/0.55 c BEGIN-Prog: Thu Sep 12 16:10:40 CEST 2019
0.66/0.55 c PID: 13498
0.66/0.55 c IP: 172.20.3.103
0.66/0.55 c HOST: node103.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.90/1.10 c (0,0) Parsing End
1.90/1.11 c (0,0) CSP: 285 int (0 aux), 0 bool (0 aux), 34 ctr, max domain size 26
1.90/1.11 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.90/1.11 c (0,0) Constraint Name Generate Begin
2.25/1.11 c (0,0) Ctr:HOME/instance-4388356-1568297498.xml,ExtensionSupport:Var
2.25/1.11 c (0,0) Constraint Name Generate End
2.25/1.11 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.25/1.11 c (0,0) CSP to CSPinCNF Begin
12.16/4.64 c (4,4) translated 4 (10%) constraints
14.32/6.69 c (6,6) translated 7 (20%) constraints
17.83/9.56 c (9,8) translated 11 (30%) constraints
19.76/11.46 c (10,10) translated 14 (40%) constraints
31.00/20.74 c (20,19) translated 17 (50%) constraints
59.31/45.18 c (44,43) translated 21 (60%) constraints
88.40/70.03 c (69,66) translated 24 (70%) constraints
125.36/104.26 c (103,99) translated 28 (80%) constraints
148.97/125.74 c (125,120) translated 31 (90%) constraints
165.92/141.12 c (140,135) translated 34 (100%) constraints
165.92/141.15 c (140,135) ===========================================
166.43/141.59 c (141,135) Hybrid: #OE=298696, #LE=0
166.43/141.59 c (141,135) Hybrid
166.43/141.59 c (141,135) ===========================================
171.59/145.12 c (144,139) translated 174492 (10%) constraints
174.95/148.49 c (147,142) translated 348983 (20%) constraints
178.35/151.88 c (151,146) translated 523474 (30%) constraints
183.14/155.61 c (155,149) translated 697965 (40%) constraints
186.55/159.03 c (158,152) translated 872456 (50%) constraints
189.95/162.44 c (161,156) translated 1046948 (60%) constraints
195.04/166.27 c (165,159) translated 1221439 (70%) constraints
198.44/169.68 c (169,163) translated 1395930 (80%) constraints
201.85/173.08 c (172,166) translated 1570421 (90%) constraints
206.80/176.88 c (176,169) translated 1744912 (100%) constraints
206.80/176.88 c (176,169) CSP to CSPinCNF End
206.97/177.00 c (176,170) CSP: 285 int (0 aux), 298411 bool (298411 aux), 1744912 ctr, max domain size 24
206.97/177.00 c (176,170) Heap : 2650 MiB used (max 10902 MiB), NonHeap : 26 MiB used (max 0 MiB)
206.97/177.00 c (176,170) CSPinCNF Propagation Begin
229.14/194.39 c (193,186) 21788 values, 74103 unsatisfiable literals, and 112651 valid clauses are removed
229.14/194.39 c (193,186) CSPinCNF Propagation End
229.34/194.51 c (193,186) CSP: 285 int (0 aux), 298411 bool (298411 aux), 1632261 ctr, max domain size 24
229.34/194.51 c (193,186) Heap : 5589 MiB used (max 10893 MiB), NonHeap : 27 MiB used (max 0 MiB)
229.65/194.89 c (194,186) Hybrid: #OE=298696, #LE=0
229.65/194.89 c (194,186) Simplify CSPinCNF Begin
235.39/198.42 c (197,189) Simplify CSPinCNF End
235.49/198.53 c (198,189) CSP: 285 int (0 aux), 298411 bool (298411 aux), 1632261 ctr, max domain size 24
235.49/198.53 c (198,189) Heap : 4541 MiB used (max 10891 MiB), NonHeap : 28 MiB used (max 0 MiB)
235.49/198.53 c (198,189) Calculate Precise Domain Begin
235.49/198.53 c (198,189) 0 values are removed by re-calculation
235.49/198.53 c (198,189) Calculate Precise Domain End
235.59/198.65 c (198,189) CSP: 285 int (0 aux), 298411 bool (298411 aux), 1632261 ctr, max domain size 24
235.59/198.65 c (198,189) Heap : 4541 MiB used (max 10891 MiB), NonHeap : 28 MiB used (max 0 MiB)
235.59/198.65 c (198,189) CSPinCNF to SatSolver Begin
242.11/201.52 c (200,191) 163227 (10 %) CSP clauses are encoded (0 SAT variables, 167896 SAT clauses)
243.55/202.91 c (202,193) 326453 (20 %) CSP clauses are encoded (0 SAT variables, 331122 SAT clauses)
244.96/204.31 c (203,194) 489679 (30 %) CSP clauses are encoded (0 SAT variables, 494348 SAT clauses)
247.60/206.15 c (205,196) 652905 (40 %) CSP clauses are encoded (0 SAT variables, 657574 SAT clauses)
248.99/207.57 c (207,197) 816131 (50 %) CSP clauses are encoded (0 SAT variables, 820800 SAT clauses)
251.47/209.24 c (208,198) 979357 (60 %) CSP clauses are encoded (0 SAT variables, 984026 SAT clauses)
252.87/210.64 c (210,200) 1142583 (70 %) CSP clauses are encoded (0 SAT variables, 1147252 SAT clauses)
254.29/212.05 c (211,201) 1305809 (80 %) CSP clauses are encoded (0 SAT variables, 1310478 SAT clauses)
256.75/213.70 c (213,203) 1469035 (90 %) CSP clauses are encoded (0 SAT variables, 1473704 SAT clauses)
258.07/215.09 c (214,204) 1632261 (100 %) CSP clauses are encoded (0 SAT variables, 1636930 SAT clauses)
258.15/215.14 c (214,204) CSPinCNF to SatSolver End
258.15/215.14 c (214,204) Heap : 5730 MiB used (max 10864 MiB), NonHeap : 30 MiB used (max 0 MiB)
258.15/215.14 c (214,204) 281594 bool, 1636931 clause
258.15/215.14 c (214,204) Export Begin
258.25/215.28 c (214,204) Export to HOME/scop-13495-serial-file.bin
258.25/215.28 c (214,204) Export End
258.25/215.28 c (214,204) Export File Size: 0.17 MB
258.25/215.28 c (214,204) 0,0,176,193,198,198,214,STOP-AFTER(DIMACS)
258.25/215.28 c END-Prog: Thu Sep 12 16:14:14 CEST 2019
0.00/215.32 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-13495-serial-file.bin
258.50/215.79 c (0,0) Read Serial File Begin
258.50/215.79 c (0,0) HOME/scop-13495-serial-file.bin
259.45/216.07 c (0,0) Read Serial File End
259.45/216.08
259.45/216.08 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
259.45/216.08 (Solving Process)
259.45/216.08
259.45/216.10 c BEGIN-Prog: Thu Sep 12 16:14:15 CEST 2019
259.45/216.10 c PID: 13530
259.45/216.10 c IP: 172.20.3.103
259.45/216.10 c HOST: node103.alineos.net
259.45/216.10 c (0,0) SatSolver.solve Begin
259.45/216.10 c (0,0) HOME/cryptominisat5 HOME/instance-4388356-1568297498.xml-scop-13498.cnf
259.70/216.13 c (0,0) c Outputting solution to console
259.70/216.14 c (0,0) c CryptoMiniSat version 5.6.8
259.70/216.14 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
259.70/216.14 c (0,0) c CMS SHA revision GIT-notfound
259.70/216.14 c (0,0) c CMS is MIT licensed
259.70/216.14 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
259.70/216.14 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
259.70/216.14 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388356-1568297498.xml-scop-13498.cnf
259.70/216.14 c (0,0) c Reading file 'HOME/instance-4388356-1568297498.xml-scop-13498.cnf'
259.70/216.14 c (0,0) c -- header says num vars: 281594
259.70/216.14 c (0,0) c -- header says num clauses: 1636931
259.86/216.74 c (1,0) c -- clauses added: 1636931
259.86/216.74 c (1,0) c -- xor clauses added: 0
259.86/216.74 c (1,0) c -- vars added 281594
259.86/216.74 c (1,0) c Parsing time: 0.54 s
259.86/216.75 c (1,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
259.86/216.75 c (1,0) c ------- FINAL TOTAL SEARCH STATS ---------
259.86/216.75 c (1,0) c UIP search time : 0.01 (1.27 % time)
259.86/216.75 c (1,0) c restarts : 1 (15.00 confls per restart)
259.86/216.75 c (1,0) c blocked restarts : 0 (0.00 per normal restart)
259.86/216.75 c (1,0) c time : 0.01
259.86/216.75 c (1,0) c decisions : 28 (0.00 % random)
259.86/216.75 c (1,0) c propagations : 22968
259.86/216.75 c (1,0) c decisions/conflicts : 1.87
259.86/216.75 c (1,0) c conflicts : 15 (2142.86 / sec)
259.86/216.75 c (1,0) c conf lits non-minim : 42 (2.80 lit/confl)
259.86/216.75 c (1,0) c conf lits final : 2.27
259.86/216.75 c (1,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
259.86/216.75 c (1,0) c red which0 : 4 (26.67 % of confl)
259.86/216.75 c (1,0) c props/decision : 0.00
259.86/216.75 c (1,0) c props/conflict : 0.00
259.86/216.75 c (1,0) c 0-depth assigns : 5157 (1.83 % vars)
259.86/216.75 c (1,0) c 0-depth assigns by CNF : 0 (0.00 % vars)
259.86/216.75 c (1,0) c reduceDB time : 0.00 (0.00 % time)
259.86/216.75 c (1,0) c OccSimplifier time : 0.00 (0.00 % time)
259.86/216.75 c (1,0) c [occur] 0.00 is overhead
259.86/216.75 c (1,0) c [occur] link-in T: 0.00 cleanup T: 0.00
259.86/216.75 c (1,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
259.86/216.75 c (1,0) c SCC time : 0.00 (0.00 % time)
259.86/216.75 c (1,0) c [scc] new: 0 BP 0M T: 0.00
259.86/216.75 c (1,0) c vrep replace time : 0.00 (0.00 % time)
259.86/216.75 c (1,0) c vrep tree roots : 0
259.86/216.75 c (1,0) c vrep trees' crown : 0 (0.00 leafs/tree)
259.86/216.75 c (1,0) c distill time : 0.00 (0.00 % time)
259.86/216.75 c (1,0) c strength cache-irred time: 0.00 (0.00 % time)
259.86/216.75 c (1,0) c strength cache-red time : 0.00 (0.00 % time)
259.86/216.75 c (1,0) c Conflicts in UIP : 15 (27.19 confl/time_this_thread)
259.86/216.75 c (1,0) c Mem used : 155.61 MB
259.86/216.75 c (1,0) c Total time (this thread) : 0.55
259.86/216.75 c (1,0) s UNSATISFIABLE
259.87/216.80 c (1,0) SatSolver.solve End
259.87/216.80 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
259.87/216.80 c (1,0) Show results Begin
259.87/216.80 s UNSATISFIABLE
259.87/216.80 c (1,0) Show results End
259.87/216.80 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
259.87/216.80 c (1,0) 1,1,STOP-AFTER(ALL)
259.87/216.81 c END-Prog: Thu Sep 12 16:14:16 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 (9282 MiB free)
memory of node 1: 16384 MiB (12706 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388356-1568297498/watcher-4388356-1568297498 -o /tmp/evaluation-result-4388356-1568297498/solver-4388356-1568297498 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568289558-9765 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388356-1568297498.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13495, runsolver pid=13492
[startup+0.100161 s]*
/proc/loadavg: 2.22 2.15 2.13 4/234 13512
/proc/meminfo: memFree=22455744/32770624 swapFree=66997112/67108860
[pid=13495] ppid=13492 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13495/stat : 13495 (scop.sh) S 13492 13495 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406002887 115843072 349 33554432000 4194304 5098028 140736733664880 140736733662136 140003343286908 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15572992 140736733672291 140736733672560 140736733672560 140736733675469 0
/proc/13495/statm: 28282 349 296 221 0 87 0
[pid=13498] ppid=13495 vsize=15012696 memory=72804 CPUtime=0.11 cores=0,2,4,6
/proc/13498/stat : 13498 (java) S 13495 13495 8640 0 -1 1077944320 6556 0 0 0 9 2 0 0 20 0 15 0 406002887 15373000704 18201 33554432000 4194304 4196468 140736714517792 140736714500336 140120265785079 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
/proc/13498/statm: 3753174 18201 2890 1 0 3715579 0
[pid=13498/tid=13499] ppid=13495 vsize=15012696 memory=576460756329985062 CPUtime=0.09 cores=0,2,4,6
/proc/13498/task/13499/stat : 13499 (java) R 13495 13495 8640 0 -1 4202560 4338 0 0 0 7 2 0 0 20 0 15 0 406002887 15373000704 18266 33554432000 4194304 4196468 140736714517792 140120237569048 140120265807005 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13500] ppid=13495 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13500/stat : 13500 (java) S 13495 13495 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406002889 15373000704 18266 33554432000 4194304 4196468 140736714517792 140120270027664 140120265795285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13501] ppid=13495 vsize=15012696 memory=140411549559111 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13501/stat : 13501 (java) S 13495 13495 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406002889 15373000704 18266 33554432000 4194304 4196468 140736714517792 140120088115984 140120265795285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13502] ppid=13495 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13502/stat : 13502 (java) S 13495 13495 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406002889 15373000704 18266 33554432000 4194304 4196468 140736714517792 140119725649040 140120265795285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13503] ppid=13495 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13503/stat : 13503 (java) S 13495 13495 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406002889 15373000704 18266 33554432000 4194304 4196468 140736714517792 140119724596240 140120265795285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13504] ppid=13495 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13504/stat : 13504 (java) S 13495 13495 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406002891 15373000704 18266 33554432000 4194304 4196468 140736714517792 140119605323888 140120265796226 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13505] ppid=13495 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13505/stat : 13505 (java) S 13495 13495 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406002891 15374049280 18266 33554432000 4194304 4196468 140736714517792 140118845285152 140120265795285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13506] ppid=13495 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13506/stat : 13506 (java) S 13495 13495 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406002891 15374049280 18266 33554432000 4194304 4196468 140736714517792 140118610404464 140120265795285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13507] ppid=13495 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13507/stat : 13507 (java) S 13495 13495 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406002894 15374049280 18266 33554432000 4194304 4196468 140736714517792 140118235895888 140120265803675 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13508] ppid=13495 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13508/stat : 13508 (java) S 13495 13495 8640 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 406002894 15374049280 18266 33554432000 4194304 4196468 140736714517792 140119604271728 140120265796226 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13509] ppid=13495 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13509/stat : 13509 (java) S 13495 13495 8640 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 406002894 15374049280 18266 33554432000 4194304 4196468 140736714517792 140119603218928 140120265796226 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13510] ppid=13495 vsize=15013720 memory=140411549546112 CPUtime=0.01 cores=0,2,4,6
/proc/13498/task/13510/stat : 13510 (java) S 13495 13495 8640 0 -1 1077944384 454 0 0 0 1 0 0 0 20 0 15 0 406002894 15374049280 18332 33554432000 4194304 4196468 140736714517792 140119602166640 140120265796226 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13511] ppid=13495 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13511/stat : 13511 (java) S 13495 13495 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406002894 15374049280 18332 33554432000 4194304 4196468 140736714517792 140117737991136 140120265795285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13512] ppid=13495 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13512/stat : 13512 (java) S 13495 13495 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406002894 15374049280 18332 33554432000 4194304 4196468 140736714517792 140119601113520 140120265796226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74200 KiB
[startup+0.210786 s]*
/proc/loadavg: 2.22 2.15 2.13 3/234 13512
/proc/meminfo: memFree=22439884/32770624 swapFree=66997112/67108860
[pid=13495] ppid=13492 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13495/stat : 13495 (scop.sh) S 13492 13495 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406002887 115843072 349 33554432000 4194304 5098028 140736733664880 140736733662136 140003343286908 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15572992 140736733672291 140736733672560 140736733672560 140736733675469 0
/proc/13495/statm: 28282 349 296 221 0 87 0
[pid=13498] ppid=13495 vsize=15012696 memory=86048 CPUtime=0.25 cores=0,2,4,6
/proc/13498/stat : 13498 (java) S 13495 13495 8640 0 -1 1077944320 11070 0 0 0 21 4 0 0 20 0 15 0 406002887 15373000704 21512 33554432000 4194304 4196468 140736714517792 140736714500336 140120265785079 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
/proc/13498/statm: 3753174 21512 2955 1 0 3715579 0
[pid=13498/tid=13499] ppid=13495 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/13498/task/13499/stat : 13499 (java) R 13495 13495 8640 0 -1 4202560 8790 0 0 0 16 3 0 0 20 0 15 0 406002887 15373000704 21512 33554432000 4194304 4196468 140736714517792 140120237606880 140120265807005 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13500] ppid=13495 vsize=15012696 memory=396 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13500/stat : 13500 (java) S 13495 13495 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406002889 15373000704 21512 33554432000 4194304 4196468 140736714517792 140120270027664 140120265795285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13501] ppid=13495 vsize=15012696 memory=288370787701257856 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13501/stat : 13501 (java) S 13495 13495 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406002889 15373000704 21512 33554432000 4194304 4196468 140736714517792 140120088115984 140120265795285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13502] ppid=13495 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13502/stat : 13502 (java) S 13495 13495 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406002889 15373000704 21512 33554432000 4194304 4196468 140736714517792 140119725649040 140120265795285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13503] ppid=13495 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13503/stat : 13503 (java) S 13495 13495 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406002889 15373000704 21512 33554432000 4194304 4196468 140736714517792 140119724596240 140120265795285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13504] ppid=13495 vsize=15012696 memory=140411549546112 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13504/stat : 13504 (java) S 13495 13495 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406002891 15373000704 21512 33554432000 4194304 4196468 140736714517792 140119605323888 140120265796226 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13505] ppid=13495 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13505/stat : 13505 (java) S 13495 13495 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406002891 15373000704 21512 33554432000 4194304 4196468 140736714517792 140118845285152 140120265795285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13506] ppid=13495 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13506/stat : 13506 (java) S 13495 13495 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406002891 15373000704 21512 33554432000 4194304 4196468 140736714517792 140118610404464 140120265795285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13507] ppid=13495 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13507/stat : 13507 (java) S 13495 13495 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406002894 15373000704 21512 33554432000 4194304 4196468 140736714517792 140118235895888 140120265803675 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13508] ppid=13495 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13508/stat : 13508 (java) R 13495 13495 8640 0 -1 1077944384 325 0 0 0 0 0 0 0 20 0 15 0 406002894 15373000704 21512 33554432000 4194304 4196468 140736714517792 140119604271728 140120265796226 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13509] ppid=13495 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13509/stat : 13509 (java) S 13495 13495 8640 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 406002894 15373000704 21512 33554432000 4194304 4196468 140736714517792 140119603218928 140120265796226 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13510] ppid=13495 vsize=15012696 memory=140411549546112 CPUtime=0.02 cores=0,2,4,6
/proc/13498/task/13510/stat : 13510 (java) R 13495 13495 8640 0 -1 4202560 466 0 0 0 2 0 0 0 20 0 15 0 406002894 15373000704 21512 33554432000 4194304 4196468 140736714517792 140119602166640 140120265806426 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13511] ppid=13495 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13511/stat : 13511 (java) S 13495 13495 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406002894 15373000704 21512 33554432000 4194304 4196468 140736714517792 140117737991136 140120265795285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13512] ppid=13495 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13512/stat : 13512 (java) S 13495 13495 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406002894 15373000704 21512 33554432000 4194304 4196468 140736714517792 140119601113520 140120265796226 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87444 KiB
[startup+0.310719 s]*
/proc/loadavg: 2.22 2.15 2.13 4/234 13512
/proc/meminfo: memFree=22436596/32770624 swapFree=66997112/67108860
[pid=13495] ppid=13492 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13495/stat : 13495 (scop.sh) S 13492 13495 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406002887 115843072 349 33554432000 4194304 5098028 140736733664880 140736733662136 140003343286908 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15572992 140736733672291 140736733672560 140736733672560 140736733675469 0
/proc/13495/statm: 28282 349 296 221 0 87 0
[pid=13498] ppid=13495 vsize=15012696 memory=90064 CPUtime=0.43 cores=0,2,4,6
/proc/13498/stat : 13498 (java) S 13495 13495 8640 0 -1 1077944320 12024 0 0 0 39 4 0 0 20 0 15 0 406002887 15373000704 22516 33554432000 4194304 4196468 140736714517792 140736714500336 140120265785079 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
/proc/13498/statm: 3753174 22516 3065 1 0 3715579 0
[pid=13498/tid=13499] ppid=13495 vsize=15012696 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/13498/task/13499/stat : 13499 (java) R 13495 13495 8640 0 -1 4202560 9560 0 0 0 26 4 0 0 20 0 15 0 406002887 15373000704 22516 33554432000 4194304 4196468 140736714517792 140120237597424 140120246060413 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13500] ppid=13495 vsize=15012696 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13500/stat : 13500 (java) S 13495 13495 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406002889 15373000704 22516 33554432000 4194304 4196468 140736714517792 140120270027664 140120265795285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13501] ppid=13495 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13501/stat : 13501 (java) S 13495 13495 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406002889 15373000704 22516 33554432000 4194304 4196468 140736714517792 140120088115984 140120265795285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13502] ppid=13495 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13502/stat : 13502 (java) S 13495 13495 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406002889 15373000704 22516 33554432000 4194304 4196468 140736714517792 140119725649040 140120265795285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13503] ppid=13495 vsize=15012696 memory=7223591943076881810 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13503/stat : 13503 (java) S 13495 13495 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406002889 15373000704 22516 33554432000 4194304 4196468 140736714517792 140119724596240 140120265795285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13504] ppid=13495 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13504/stat : 13504 (java) S 13495 13495 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406002891 15373000704 22516 33554432000 4194304 4196468 140736714517792 140119605323888 140120265796226 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13505] ppid=13495 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13505/stat : 13505 (java) S 13495 13495 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406002891 15373000704 22516 33554432000 4194304 4196468 140736714517792 140118845285152 140120265795285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13506] ppid=13495 vsize=15012696 memory=-8253362762721939848 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13506/stat : 13506 (java) S 13495 13495 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406002891 15373000704 22516 33554432000 4194304 4196468 140736714517792 140118610404464 140120265795285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13507] ppid=13495 vsize=15012696 memory=6576575808607462824 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13507/stat : 13507 (java) S 13495 13495 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406002894 15373000704 22516 33554432000 4194304 4196468 140736714517792 140118235895888 140120265803675 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13508] ppid=13495 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13498/task/13508/stat : 13508 (java) S 13495 13495 8640 0 -1 1077944384 426 0 0 0 2 0 0 0 20 0 15 0 406002894 15373000704 22516 33554432000 4194304 4196468 140736714517792 140119604271728 140120265796226 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13509] ppid=13495 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13498/task/13509/stat : 13509 (java) S 13495 13495 8640 0 -1 1077944384 213 0 0 0 2 0 0 0 20 0 15 0 406002894 15373000704 22516 33554432000 4194304 4196468 140736714517792 140119603218928 140120265796226 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13510] ppid=13495 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13498/task/13510/stat : 13510 (java) S 13495 13495 8640 0 -1 1077944384 491 0 0 0 7 0 0 0 20 0 15 0 406002894 15373000704 22516 33554432000 4194304 4196468 140736714517792 140119602166640 140120265796226 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13511] ppid=13495 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13511/stat : 13511 (java) S 13495 13495 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406002894 15373000704 22516 33554432000 4194304 4196468 140736714517792 140117737991136 140120265795285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13512] ppid=13495 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13512/stat : 13512 (java) S 13495 13495 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406002894 15373000704 22516 33554432000 4194304 4196468 140736714517792 140119601113520 140120265796226 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91460 KiB
[startup+0.701203 s]
/proc/loadavg: 2.22 2.15 2.13 3/234 13512
/proc/meminfo: memFree=22413288/32770624 swapFree=66997112/67108860
[pid=13495] ppid=13492 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13495/stat : 13495 (scop.sh) S 13492 13495 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406002887 115843072 349 33554432000 4194304 5098028 140736733664880 140736733662136 140003343286908 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15572992 140736733672291 140736733672560 140736733672560 140736733675469 0
/proc/13495/statm: 28282 349 296 221 0 87 0
[pid=13498] ppid=13495 vsize=15018968 memory=129948 CPUtime=1.03 cores=0,2,4,6
/proc/13498/stat : 13498 (java) S 13495 13495 8640 0 -1 1077944320 19684 0 0 0 96 7 0 0 20 0 15 0 406002887 15379423232 32487 33554432000 4194304 4196468 140736714517792 140736714500336 140120265785079 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
/proc/13498/statm: 3754742 32487 3184 1 0 3716091 0
[pid=13498/tid=13499] ppid=13495 vsize=15018968 memory=2828 CPUtime=0.68 cores=0,2,4,6
/proc/13498/task/13499/stat : 13499 (java) R 13495 13495 8640 0 -1 4202560 16698 0 0 0 62 6 0 0 20 0 15 0 406002887 15379423232 32487 33554432000 4194304 4196468 140736714517792 140120237619320 140120248983621 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13500] ppid=13495 vsize=15018968 memory=676 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13500/stat : 13500 (java) S 13495 13495 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406002889 15379423232 32487 33554432000 4194304 4196468 140736714517792 140120270027664 140120265795285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13501] ppid=13495 vsize=15018968 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13501/stat : 13501 (java) S 13495 13495 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406002889 15379423232 32487 33554432000 4194304 4196468 140736714517792 140120088115984 140120265795285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13502] ppid=13495 vsize=15018968 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13502/stat : 13502 (java) S 13495 13495 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406002889 15379423232 32487 33554432000 4194304 4196468 140736714517792 140119725649040 140120265795285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13503] ppid=13495 vsize=15018968 memory=8488 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13503/stat : 13503 (java) S 13495 13495 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406002889 15379423232 32487 33554432000 4194304 4196468 140736714517792 140119724596240 140120265795285 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13504] ppid=13495 vsize=15018968 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13504/stat : 13504 (java) S 13495 13495 8640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 406002891 15379423232 32487 33554432000 4194304 4196468 140736714517792 140119605323888 140120265796226 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13505] ppid=13495 vsize=15018968 memory=1112 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13505/stat : 13505 (java) S 13495 13495 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406002891 15379423232 32487 33554432000 4194304 4196468 140736714517792 140118845285152 140120265795285 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13506] ppid=13495 vsize=15018968 memory=1020 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13506/stat : 13506 (java) S 13495 13495 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406002891 15379423232 32487 33554432000 4194304 4196468 140736714517792 140118610404464 140120265795285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13507] ppid=13495 vsize=15018968 memory=5968 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13507/stat : 13507 (java) S 13495 13495 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406002894 15379423232 32487 33554432000 4194304 4196468 140736714517792 140118235895888 140120265803675 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13508] ppid=13495 vsize=15018968 memory=14008 CPUtime=0.09 cores=0,2,4,6
/proc/13498/task/13508/stat : 13508 (java) R 13495 13495 8640 0 -1 4202560 644 0 0 0 9 0 0 0 20 0 15 0 406002894 15379423232 32487 33554432000 4194304 4196468 140736714517792 140119604271728 140120246485383 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13509] ppid=13495 vsize=15018968 memory=2124 CPUtime=0.08 cores=0,2,4,6
/proc/13498/task/13509/stat : 13509 (java) S 13495 13495 8640 0 -1 1077944384 401 0 0 0 8 0 0 0 20 0 15 0 406002894 15379423232 32487 33554432000 4194304 4196468 140736714517792 140119603218928 140120265796226 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13510] ppid=13495 vsize=15018968 memory=20532 CPUtime=0.15 cores=0,2,4,6
/proc/13498/task/13510/stat : 13510 (java) S 13495 13495 8640 0 -1 1077944384 604 0 0 0 15 0 0 0 20 0 15 0 406002894 15379423232 32487 33554432000 4194304 4196468 140736714517792 140119602166640 140120265796226 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13511] ppid=13495 vsize=15018968 memory=3472323897372787576 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13511/stat : 13511 (java) S 13495 13495 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406002894 15379423232 32487 33554432000 4194304 4196468 140736714517792 140117737991136 140120265795285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13512] ppid=13495 vsize=15018968 memory=140411406419728 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13512/stat : 13512 (java) S 13495 13495 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406002894 15379423232 32487 33554432000 4194304 4196468 140736714517792 140119601113520 140120265796226 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 131344 KiB
[startup+1.50081 s]
/proc/loadavg: 2.22 2.15 2.13 6/234 13512
/proc/meminfo: memFree=22358036/32770624 swapFree=66997112/67108860
[pid=13495] ppid=13492 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/13495/stat : 13495 (scop.sh) S 13492 13495 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406002887 115843072 349 33554432000 4194304 5098028 140736733664880 140736733662136 140003343286908 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15572992 140736733672291 140736733672560 140736733672560 140736733675469 0
/proc/13495/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/13495/stat : 13495 (scop.sh) S 13492 13495 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406002887 115843072 349 33554432000 4194304 5098028 140736733664880 140736733662136 140003343286908 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15572992 140736733672291 140736733672560 140736733672560 140736733675469 0
/proc/13495/statm: 28282 349 296 221 0 87 0
[pid=13498] ppid=13495 vsize=15027304 memory=7294520 CPUtime=257.45 cores=0,2,4,6
/proc/13498/stat : 13498 (java) S 13495 13495 8640 0 -1 1077944320 92861 0 0 0 25303 442 0 0 20 0 15 0 406002887 15387959296 1823630 33554432000 4194304 4196468 140736714517792 140736714500336 140120265785079 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
/proc/13498/statm: 3756826 1823630 3302 1 0 3717627 0
[pid=13498/tid=13499] ppid=13495 vsize=15027304 memory=1396 CPUtime=204.3 cores=0,2,4,6
/proc/13498/task/13499/stat : 13499 (java) R 13495 13495 8640 0 -1 4202560 33606 0 0 0 20376 54 0 0 20 0 15 0 406002887 15387959296 1823630 33554432000 4194304 4196468 140736714517792 140120237624368 140119775165886 0 4 2 25189581 0 0 0 -1 2 0 0 11 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13500] ppid=13495 vsize=15027304 memory=1396 CPUtime=9.81 cores=0,2,4,6
/proc/13498/task/13500/stat : 13500 (java) S 13495 13495 8640 0 -1 1077944384 4551 0 0 0 884 97 0 0 20 0 15 0 406002889 15387959296 1823630 33554432000 4194304 4196468 140736714517792 140120270027664 140120265795285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13501] ppid=13495 vsize=15027304 memory=7294520 CPUtime=9.84 cores=0,2,4,6
/proc/13498/task/13501/stat : 13501 (java) S 13495 13495 8640 0 -1 1077944384 3766 0 0 0 900 84 0 0 20 0 15 0 406002889 15387959296 1823630 33554432000 4194304 4196468 140736714517792 140120088115984 140120265795285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13502] ppid=13495 vsize=15027304 memory=1396 CPUtime=9.82 cores=0,2,4,6
/proc/13498/task/13502/stat : 13502 (java) S 13495 13495 8640 0 -1 1077944384 5022 0 0 0 889 93 0 0 20 0 15 0 406002889 15387959296 1823630 33554432000 4194304 4196468 140736714517792 140119725649040 140120265795285 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13503] ppid=13495 vsize=15027304 memory=3504 CPUtime=9.77 cores=0,2,4,6
/proc/13498/task/13503/stat : 13503 (java) S 13495 13495 8640 0 -1 1077944384 4896 0 0 0 879 98 0 0 20 0 15 0 406002889 15387959296 1823630 33554432000 4194304 4196468 140736714517792 140119724596240 140120265795285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13504] ppid=13495 vsize=15027304 memory=37460 CPUtime=0.05 cores=0,2,4,6
/proc/13498/task/13504/stat : 13504 (java) S 13495 13495 8640 0 -1 1077944384 980 0 0 0 5 0 0 0 20 0 15 0 406002891 15387959296 1823630 33554432000 4194304 4196468 140736714517792 140119605323888 140120265796226 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13505] ppid=13495 vsize=15027304 memory=3028 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13505/stat : 13505 (java) S 13495 13495 8640 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 406002891 15387959296 1823630 33554432000 4194304 4196468 140736714517792 140118845285216 140120265795285 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13506] ppid=13495 vsize=15027304 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13506/stat : 13506 (java) S 13495 13495 8640 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 406002891 15387959296 1823630 33554432000 4194304 4196468 140736714517792 140118610404480 140120265795285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13507] ppid=13495 vsize=15027304 memory=1388 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13507/stat : 13507 (java) S 13495 13495 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406002894 15387959296 1823630 33554432000 4194304 4196468 140736714517792 140118235895888 140120265803675 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13508] ppid=13495 vsize=15027304 memory=8317482817917895235 CPUtime=6.29 cores=0,2,4,6
/proc/13498/task/13508/stat : 13508 (java) S 13495 13495 8640 0 -1 1077944384 15273 0 0 0 627 2 0 0 20 0 15 0 406002894 15387959296 1823630 33554432000 4194304 4196468 140736714517792 140119604271728 140120265796226 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13509] ppid=13495 vsize=15027304 memory=128988 CPUtime=6.09 cores=0,2,4,6
/proc/13498/task/13509/stat : 13509 (java) S 13495 13495 8640 0 -1 1077944384 13742 0 0 0 608 1 0 0 20 0 15 0 406002894 15387959296 1823630 33554432000 4194304 4196468 140736714517792 140119603218928 140120265796226 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13510] ppid=13495 vsize=15027304 memory=512184 CPUtime=1.26 cores=0,2,4,6
/proc/13498/task/13510/stat : 13510 (java) S 13495 13495 8640 0 -1 1077944384 9456 0 0 0 124 2 0 0 20 0 15 0 406002894 15387959296 1823630 33554432000 4194304 4196468 140736714517792 140119602166640 140120265796226 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13511] ppid=13495 vsize=15027304 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/13498/task/13511/stat : 13511 (java) S 13495 13495 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406002894 15387959296 1823630 33554432000 4194304 4196468 140736714517792 140117737991136 140120265795285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
[pid=13498/tid=13512] ppid=13495 vsize=15027304 memory=37460 CPUtime=0.12 cores=0,2,4,6
/proc/13498/task/13512/stat : 13512 (java) S 13495 13495 8640 0 -1 1077944384 219 0 0 0 6 6 0 0 20 0 15 0 406002894 15387959296 1823630 33554432000 4194304 4196468 140736714517792 140119601113520 140120265796226 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28680192 140736714523433 140736714523802 140736714523802 140736714526671 0
Current children cumulated CPU time: 257.45 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 7295916 KiB
[startup+216.001 s]*
/proc/loadavg: 2.33 2.13 2.12 6/234 13544
/proc/meminfo: memFree=22391428/32770624 swapFree=66997112/67108860
[pid=13495] ppid=13492 vsize=113128 memory=1476 CPUtime=258.5 cores=0,2,4,6
/proc/13495/stat : 13495 (scop.sh) S 13492 13495 8640 0 -1 4202496 583 96533 0 0 0 0 25401 449 20 0 1 0 406002887 115843072 369 33554432000 4194304 5098028 140736733664880 140736733661624 140003343286908 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15572992 140736733672291 140736733672560 140736733672560 140736733675469 0
/proc/13495/statm: 28282 369 311 221 0 87 0
[pid=13530] ppid=13495 vsize=7408652 memory=100876 CPUtime=0.95 cores=0,2,4,6
/proc/13530/stat : 13530 (java) S 13495 13495 8640 0 -1 1077944320 18393 0 0 0 88 7 0 0 20 0 15 0 406024419 7586459648 25219 33554432000 4194304 4196468 140727419125760 140727419108304 139715428896503 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
/proc/13530/statm: 1852163 25219 3119 1 0 1814042 0
[pid=13530/tid=13531] ppid=13495 vsize=7408652 memory=8317482817917895235 CPUtime=0.66 cores=0,2,4,6
/proc/13530/task/13531/stat : 13531 (java) R 13495 13495 8640 0 -1 4202560 15839 0 0 0 61 5 0 0 20 0 15 0 406024420 7586459648 25219 33554432000 4194304 4196468 140727419125760 139715400728128 139715428918429 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13532] ppid=13495 vsize=7408652 memory=37460 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13532/stat : 13532 (java) S 13495 13495 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406024421 7586459648 25219 33554432000 4194304 4196468 140727419125760 139715433139088 139715428906709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13533] ppid=13495 vsize=7408652 memory=3028 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13533/stat : 13533 (java) S 13495 13495 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406024421 7586459648 25219 33554432000 4194304 4196468 140727419125760 139715233307408 139715428906709 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13534] ppid=13495 vsize=7408652 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13534/stat : 13534 (java) S 13495 13495 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406024421 7586459648 25219 33554432000 4194304 4196468 140727419125760 139715232255120 139715428906709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13535] ppid=13495 vsize=7408652 memory=1388 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13535/stat : 13535 (java) S 13495 13495 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406024421 7586459648 25219 33554432000 4194304 4196468 140727419125760 139715231202320 139715428906709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13536] ppid=13495 vsize=7408652 memory=776 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13536/stat : 13536 (java) S 13495 13495 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406024423 7586459648 25219 33554432000 4194304 4196468 140727419125760 139714673731696 139715428907650 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13537] ppid=13495 vsize=7408652 memory=3500 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13537/stat : 13537 (java) S 13495 13495 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406024423 7586459648 25219 33554432000 4194304 4196468 140727419125760 139714279498528 139715428906709 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13538] ppid=13495 vsize=7408652 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13538/stat : 13538 (java) S 13495 13495 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406024423 7586459648 25219 33554432000 4194304 4196468 140727419125760 139714011063408 139715428906709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13539] ppid=13495 vsize=7408652 memory=676 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13539/stat : 13539 (java) S 13495 13495 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406024426 7586459648 25219 33554432000 4194304 4196468 140727419125760 139713636554832 139715428915099 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13540] ppid=13495 vsize=7408652 memory=1060 CPUtime=0.05 cores=0,2,4,6
/proc/13530/task/13540/stat : 13540 (java) R 13495 13495 8640 0 -1 4202560 599 0 0 0 5 0 0 0 20 0 15 0 406024426 7586459648 25219 33554432000 4194304 4196468 140727419125760 139714672667088 139715412395877 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13541] ppid=13495 vsize=7408652 memory=8317482817917895235 CPUtime=0.04 cores=0,2,4,6
/proc/13530/task/13541/stat : 13541 (java) R 13495 13495 8640 0 -1 4202560 169 0 0 0 4 0 0 0 20 0 15 0 406024426 7586459648 25219 33554432000 4194304 4196468 140727419125760 139714671626736 139715428908438 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13542] ppid=13495 vsize=7408652 memory=1396 CPUtime=0.17 cores=0,2,4,6
/proc/13530/task/13542/stat : 13542 (java) R 13495 13495 8640 0 -1 1077944384 456 0 0 0 17 0 0 0 20 0 15 0 406024426 7586459648 25219 33554432000 4194304 4196468 140727419125760 139714670574448 139715428907650 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13543] ppid=13495 vsize=7408652 memory=7218732 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13543/stat : 13543 (java) S 13495 13495 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406024426 7586459648 25219 33554432000 4194304 4196468 140727419125760 139713138650080 139715428906709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13544] ppid=13495 vsize=7408652 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13544/stat : 13544 (java) S 13495 13495 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406024427 7586459648 25219 33554432000 4194304 4196468 140727419125760 139714669521328 139715428907650 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
Current children cumulated CPU time: 259.45 s
Current children cumulated vsize: 7521780 KiB
Current children cumulated memory: 102352 KiB
[startup+216.401 s]
/proc/loadavg: 2.33 2.13 2.12 6/234 13544
/proc/meminfo: memFree=22391428/32770624 swapFree=66997112/67108860
[pid=13495] ppid=13492 vsize=113128 memory=1476 CPUtime=258.5 cores=0,2,4,6
/proc/13495/stat : 13495 (scop.sh) S 13492 13495 8640 0 -1 4202496 583 96533 0 0 0 0 25401 449 20 0 1 0 406002887 115843072 369 33554432000 4194304 5098028 140736733664880 140736733661624 140003343286908 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15572992 140736733672291 140736733672560 140736733672560 140736733675469 0
/proc/13495/statm: 28282 369 311 221 0 87 0
[pid=13530] ppid=13495 vsize=8068440 memory=120864 CPUtime=1.36 cores=0,2,4,6
/proc/13530/stat : 13530 (java) S 13495 13495 8640 0 -1 1077944320 20157 0 0 0 127 9 0 0 20 0 19 0 406024419 8262082560 30216 33554432000 4194304 4196468 140727419125760 140727419108304 139715428896503 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
/proc/13530/statm: 2017110 30216 3214 1 0 1978454 0
[pid=13530/tid=13531] ppid=13495 vsize=8068440 memory=1112 CPUtime=0.83 cores=0,2,4,6
/proc/13530/task/13531/stat : 13531 (java) S 13495 13495 8640 0 -1 1077944384 16959 0 0 0 76 7 0 0 20 0 19 0 406024420 8262082560 30216 33554432000 4194304 4196468 140727419125760 139715400736672 139715428906709 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13532] ppid=13495 vsize=8068440 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13532/stat : 13532 (java) S 13495 13495 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406024421 8262082560 30216 33554432000 4194304 4196468 140727419125760 139715433139088 139715428906709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13533] ppid=13495 vsize=8068440 memory=1388 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13533/stat : 13533 (java) S 13495 13495 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406024421 8262082560 30216 33554432000 4194304 4196468 140727419125760 139715233307408 139715428906709 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13534] ppid=13495 vsize=8068440 memory=776 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13534/stat : 13534 (java) S 13495 13495 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406024421 8262082560 30216 33554432000 4194304 4196468 140727419125760 139715232255120 139715428906709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13535] ppid=13495 vsize=8068440 memory=3500 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13535/stat : 13535 (java) S 13495 13495 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406024421 8262082560 30216 33554432000 4194304 4196468 140727419125760 139715231202320 139715428906709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13536] ppid=13495 vsize=8068440 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13536/stat : 13536 (java) S 13495 13495 8640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 406024423 8262082560 30216 33554432000 4194304 4196468 140727419125760 139714673731696 139715428907650 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13537] ppid=13495 vsize=8068440 memory=676 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13537/stat : 13537 (java) S 13495 13495 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406024423 8262082560 30216 33554432000 4194304 4196468 140727419125760 139714279498528 139715428906709 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13538] ppid=13495 vsize=8068440 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13538/stat : 13538 (java) S 13495 13495 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406024423 8262082560 30216 33554432000 4194304 4196468 140727419125760 139714011063408 139715428906709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13539] ppid=13495 vsize=8068440 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13539/stat : 13539 (java) S 13495 13495 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406024426 8262082560 30216 33554432000 4194304 4196468 140727419125760 139713636554832 139715428915099 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13540] ppid=13495 vsize=8068440 memory=8488 CPUtime=0.14 cores=0,2,4,6
/proc/13530/task/13540/stat : 13540 (java) S 13495 13495 8640 0 -1 1077944384 864 0 0 0 14 0 0 0 20 0 19 0 406024426 8262082560 30216 33554432000 4194304 4196468 140727419125760 139714672679536 139715428907650 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13541] ppid=13495 vsize=8068440 memory=1704 CPUtime=0.12 cores=0,2,4,6
/proc/13530/task/13541/stat : 13541 (java) S 13495 13495 8640 0 -1 1077944384 320 0 0 0 11 1 0 0 20 0 19 0 406024426 8262082560 30216 33554432000 4194304 4196468 140727419125760 139714671626736 139715428907650 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13542] ppid=13495 vsize=8068440 memory=1112 CPUtime=0.24 cores=0,2,4,6
/proc/13530/task/13542/stat : 13542 (java) S 13495 13495 8640 0 -1 1077944384 603 0 0 0 24 0 0 0 20 0 19 0 406024426 8262082560 30216 33554432000 4194304 4196468 140727419125760 139714670574448 139715428907650 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13543] ppid=13495 vsize=8068440 memory=1020 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13543/stat : 13543 (java) S 13495 13495 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406024426 8262082560 30216 33554432000 4194304 4196468 140727419125760 139713138650080 139715428906709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13544] ppid=13495 vsize=8068440 memory=5968 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13544/stat : 13544 (java) S 13495 13495 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406024427 8262082560 30216 33554432000 4194304 4196468 140727419125760 139714669521328 139715428907650 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
Current children cumulated CPU time: 259.86 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 122340 KiB
[startup+216.801 s]
/proc/loadavg: 2.33 2.13 2.12 6/234 13544
/proc/meminfo: memFree=22391428/32770624 swapFree=66997112/67108860
[pid=13495] ppid=13492 vsize=113128 memory=1476 CPUtime=258.5 cores=0,2,4,6
/proc/13495/stat : 13495 (scop.sh) S 13492 13495 8640 0 -1 4202496 583 96533 0 0 0 0 25401 449 20 0 1 0 406002887 115843072 369 33554432000 4194304 5098028 140736733664880 140736733661624 140003343286908 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15572992 140736733672291 140736733672560 140736733672560 140736733675469 0
/proc/13495/statm: 28282 369 311 221 0 87 0
[pid=13530] ppid=13495 vsize=8068440 memory=120864 CPUtime=1.37 cores=0,2,4,6
/proc/13530/stat : 13530 (java) S 13495 13495 8640 0 -1 1077944320 20168 0 0 0 128 9 0 0 20 0 19 0 406024419 8262082560 30216 33554432000 4194304 4196468 140727419125760 140727419108304 139715428896503 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
/proc/13530/statm: 2017110 30216 3214 1 0 1978454 0
[pid=13530/tid=13531] ppid=13495 vsize=8068440 memory=1020 CPUtime=0.83 cores=0,2,4,6
/proc/13530/task/13531/stat : 13531 (java) S 13495 13495 8640 0 -1 1077944384 16959 0 0 0 76 7 0 0 20 0 19 0 406024420 8262082560 30216 33554432000 4194304 4196468 140727419125760 139715400736672 139715428906709 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13532] ppid=13495 vsize=8068440 memory=5968 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13532/stat : 13532 (java) S 13495 13495 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406024421 8262082560 30216 33554432000 4194304 4196468 140727419125760 139715433139088 139715428906709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13533] ppid=13495 vsize=8068440 memory=932 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13533/stat : 13533 (java) S 13495 13495 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406024421 8262082560 30216 33554432000 4194304 4196468 140727419125760 139715233307408 139715428906709 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13534] ppid=13495 vsize=8068440 memory=3640 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13534/stat : 13534 (java) S 13495 13495 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406024421 8262082560 30216 33554432000 4194304 4196468 140727419125760 139715232255120 139715428906709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13535] ppid=13495 vsize=8068440 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13535/stat : 13535 (java) S 13495 13495 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406024421 8262082560 30216 33554432000 4194304 4196468 140727419125760 139715231202320 139715428906709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13536] ppid=13495 vsize=8068440 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13536/stat : 13536 (java) S 13495 13495 8640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 406024423 8262082560 30216 33554432000 4194304 4196468 140727419125760 139714673731696 139715428907650 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13537] ppid=13495 vsize=8068440 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13537/stat : 13537 (java) S 13495 13495 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406024423 8262082560 30216 33554432000 4194304 4196468 140727419125760 139714279498528 139715428906709 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13538] ppid=13495 vsize=8068440 memory=812 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13538/stat : 13538 (java) S 13495 13495 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406024423 8262082560 30216 33554432000 4194304 4196468 140727419125760 139714011063408 139715428906709 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13539] ppid=13495 vsize=8068440 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13539/stat : 13539 (java) S 13495 13495 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406024426 8262082560 30216 33554432000 4194304 4196468 140727419125760 139713636554832 139715428915099 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13540] ppid=13495 vsize=8068440 memory=111628 CPUtime=0.14 cores=0,2,4,6
/proc/13530/task/13540/stat : 13540 (java) S 13495 13495 8640 0 -1 1077944384 864 0 0 0 14 0 0 0 20 0 19 0 406024426 8262082560 30216 33554432000 4194304 4196468 140727419125760 139714672679536 139715428907650 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13541] ppid=13495 vsize=8068440 memory=796 CPUtime=0.12 cores=0,2,4,6
/proc/13530/task/13541/stat : 13541 (java) S 13495 13495 8640 0 -1 1077944384 320 0 0 0 11 1 0 0 20 0 19 0 406024426 8262082560 30216 33554432000 4194304 4196468 140727419125760 139714671626736 139715428907650 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13542] ppid=13495 vsize=8068440 memory=1804 CPUtime=0.24 cores=0,2,4,6
/proc/13530/task/13542/stat : 13542 (java) S 13495 13495 8640 0 -1 1077944384 610 0 0 0 24 0 0 0 20 0 19 0 406024426 8262082560 30216 33554432000 4194304 4196468 140727419125760 139714670574448 139715428907650 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13543] ppid=13495 vsize=8068440 memory=916 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13543/stat : 13543 (java) S 13495 13495 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406024426 8262082560 30216 33554432000 4194304 4196468 140727419125760 139713138650080 139715428906709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
[pid=13530/tid=13544] ppid=13495 vsize=8068440 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/13530/task/13544/stat : 13544 (java) S 13495 13495 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406024427 8262082560 30216 33554432000 4194304 4196468 140727419125760 139714669521328 139715428907650 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13635584 140727419130875 140727419131034 140727419131034 140727419133903 0
Current children cumulated CPU time: 259.87 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 122340 KiB
Child status: 0
Real time (s): 216.824
CPU time (s): 260.591
CPU user time (s): 255.901
CPU system time (s): 4.69016
CPU usage (%): 120.186
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 7296960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.901
system time used= 4.69016
maximum resident set size= 7296208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150240
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11995
involuntary context switches= 723
# summary of solver processes directly reported to runsolver:
# pid: 13495
# total CPU time (s): 260.591
# total CPU user time (s): 255.901
# total CPU system time (s): 4.69016
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.43599 second user time and 2.16087 second system time
The end