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-7383-serial-file.bin HOME/instance-4387711-1568289490.xml
0.66/0.53
0.66/0.53 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.53
0.66/0.56 c BEGIN-Prog: Thu Sep 12 13:57:31 CEST 2019
0.66/0.56 c PID: 7386
0.66/0.56 c IP: 172.20.3.124
0.66/0.56 c HOST: node124.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.42/0.93 c (0,0) Parsing End
1.42/0.93 c (0,0) CSP: 0 int (0 aux), 150 bool (0 aux), 100 ctr, max domain size 2
1.42/0.93 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.42/0.93 c (0,0) Constraint Name Generate Begin
1.42/0.94 c (0,0) Ctr:HOME/instance-4387711-1568289490.xml,ExtensionSupport:Var
1.42/0.94 c (0,0) Constraint Name Generate End
1.42/0.94 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.42/0.94 c (0,0) CSP to CSPinCNF Begin
1.94/1.22 c (0,0) translated 10 (10%) constraints
1.94/1.29 c (0,0) translated 20 (20%) constraints
2.23/1.34 c (0,0) translated 30 (30%) constraints
2.23/1.37 c (0,0) translated 40 (40%) constraints
2.51/1.40 c (0,0) translated 50 (50%) constraints
2.51/1.43 c (0,0) translated 60 (60%) constraints
2.51/1.46 c (0,0) translated 70 (70%) constraints
2.51/1.48 c (0,0) translated 80 (80%) constraints
2.51/1.50 c (0,0) translated 90 (90%) constraints
2.85/1.52 c (0,0) translated 100 (100%) constraints
2.85/1.53 c (0,0) ===========================================
2.85/1.53 c (0,0) Hybrid: #OE=550, #LE=0
2.85/1.53 c (0,0) Hybrid
2.85/1.53 c (0,0) ===========================================
2.85/1.56 c (1,1) translated 190 (10%) constraints
2.85/1.57 c (1,1) translated 380 (20%) constraints
2.85/1.58 c (1,1) translated 570 (30%) constraints
2.85/1.59 c (1,1) translated 760 (40%) constraints
3.16/1.60 c (1,1) translated 950 (50%) constraints
3.16/1.61 c (1,1) translated 1140 (60%) constraints
3.16/1.62 c (1,1) translated 1330 (70%) constraints
3.16/1.63 c (1,1) translated 1520 (80%) constraints
3.16/1.64 c (1,1) translated 1710 (90%) constraints
3.16/1.65 c (1,1) translated 1900 (100%) constraints
3.16/1.65 c (1,1) CSP to CSPinCNF End
3.16/1.66 c (1,1) CSP: 0 int (0 aux), 550 bool (400 aux), 1900 ctr, max domain size 2
3.16/1.66 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.16/1.66 c (1,1) CSPinCNF Propagation Begin
3.49/1.71 c (1,1) 0 values, 100 unsatisfiable literals, and 0 valid clauses are removed
3.49/1.71 c (1,1) CSPinCNF Propagation End
3.49/1.71 c (1,1) CSP: 0 int (0 aux), 550 bool (400 aux), 1900 ctr, max domain size 2
3.49/1.71 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.49/1.72 c (1,1) Hybrid: #OE=550, #LE=0
3.49/1.72 c (1,1) Simplify CSPinCNF Begin
3.49/1.73 c (1,1) Simplify CSPinCNF End
3.49/1.73 c (1,1) CSP: 0 int (0 aux), 550 bool (400 aux), 1900 ctr, max domain size 2
3.49/1.73 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.49/1.73 c (1,1) Calculate Precise Domain Begin
3.49/1.73 c (1,1) 0 values are removed by re-calculation
3.49/1.73 c (1,1) Calculate Precise Domain End
3.49/1.73 c (1,1) CSP: 0 int (0 aux), 550 bool (400 aux), 1900 ctr, max domain size 2
3.49/1.73 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.49/1.73 c (1,1) CSPinCNF to SatSolver Begin
3.83/1.81 c (1,1) 190 (10 %) CSP clauses are encoded (0 SAT variables, 189 SAT clauses)
3.83/1.83 c (1,1) 380 (20 %) CSP clauses are encoded (0 SAT variables, 379 SAT clauses)
3.83/1.84 c (1,1) 570 (30 %) CSP clauses are encoded (0 SAT variables, 569 SAT clauses)
3.83/1.85 c (1,1) 760 (40 %) CSP clauses are encoded (0 SAT variables, 759 SAT clauses)
3.83/1.86 c (1,1) 950 (50 %) CSP clauses are encoded (0 SAT variables, 949 SAT clauses)
3.83/1.86 c (1,1) 1140 (60 %) CSP clauses are encoded (0 SAT variables, 1139 SAT clauses)
3.83/1.87 c (1,1) 1330 (70 %) CSP clauses are encoded (0 SAT variables, 1329 SAT clauses)
3.83/1.88 c (1,1) 1520 (80 %) CSP clauses are encoded (0 SAT variables, 1519 SAT clauses)
3.83/1.88 c (1,1) 1710 (90 %) CSP clauses are encoded (0 SAT variables, 1709 SAT clauses)
3.83/1.89 c (1,1) 1900 (100 %) CSP clauses are encoded (0 SAT variables, 1899 SAT clauses)
3.83/1.89 c (1,1) CSPinCNF to SatSolver End
3.83/1.89 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.83/1.89 c (1,1) 550 bool, 1900 clause
3.83/1.89 c (1,1) Export Begin
4.17/1.99 c (1,1) Export to HOME/scop-7383-serial-file.bin
4.17/1.99 c (1,1) Export End
4.17/1.99 c (1,1) Export File Size: 0.03 MB
4.17/1.99 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
4.17/1.99 c END-Prog: Thu Sep 12 13:57:32 CEST 2019
4.17/2.00 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-7383-serial-file.bin
4.39/2.46 c (0,0) Read Serial File Begin
4.39/2.46 c (0,0) HOME/scop-7383-serial-file.bin
4.39/2.68 c (0,0) Read Serial File End
4.39/2.69
4.39/2.69 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
4.39/2.69 (Solving Process)
4.39/2.69
4.39/2.72 c BEGIN-Prog: Thu Sep 12 13:57:33 CEST 2019
4.39/2.72 c PID: 7401
4.39/2.72 c IP: 172.20.3.124
4.39/2.72 c HOST: node124.alineos.net
4.39/2.72 c (0,0) SatSolver.solve Begin
4.39/2.72 c (0,0) HOME/cryptominisat5 HOME/instance-4387711-1568289490.xml-scop-7386.cnf
4.39/2.76 c (0,0) c Outputting solution to console
4.39/2.76 c (0,0) c CryptoMiniSat version 5.6.8
4.39/2.76 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
4.39/2.76 c (0,0) c CMS SHA revision GIT-notfound
4.39/2.76 c (0,0) c CMS is MIT licensed
4.39/2.76 c (0,0) c CMS compilation env CMAKE_CXX_COMPILER = /usr/bin/c++ | CMAKE_CXX_FLAGS = -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic | COMPILE_DEFINES = -DLARGE_OFFSETS -DBOOST_TEST_DYN_LINK -DUSE_ZLIB -DYALSAT_FPU | STATICCOMPILE = OFF | ONLY_SIMPLE = OFF | Boost_FOUND = 1 | STATS = OFF | SQLITE3_FOUND = | ZLIB_FOUND = TRUE | VALGRIND_FOUND = | ENABLE_TESTING = OFF | M4RI_FOUND = FALSE | NOM4RI = OFF | SLOW_DEBUG = OFF | ENABLE_ASSERTIONS = ON | PYTHON_EXECUTABLE = /usr/bin/python2.7 | PYTHON_LIBRARY = /usr/lib64/libpython2.7.so | PYTHON_INCLUDE_DIRS = /usr/include/python2.7 | MY_TARGETS = | LARGEMEM = ON | LIMITMEM = OFF | compilation date time = Jul 11 2019 16:04:13
4.39/2.76 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
4.39/2.76 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387711-1568289490.xml-scop-7386.cnf
4.39/2.76 c (0,0) c Reading file 'HOME/instance-4387711-1568289490.xml-scop-7386.cnf'
4.39/2.76 c (0,0) c -- header says num vars: 550
4.39/2.76 c (0,0) c -- header says num clauses: 1900
4.39/2.76 c (0,0) c -- clauses added: 1900
4.39/2.76 c (0,0) c -- xor clauses added: 0
4.39/2.76 c (0,0) c -- vars added 550
4.39/2.76 c (0,0) c Parsing time: 0.00 s
4.39/2.76 c (0,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
4.39/2.76 c (0,0) c [distill] long cls tried: 51/49 cl-short:51 lit-r:10 T: 0.00 T-out: N T-r: 100.00%
4.39/2.76 c (0,0) c ------- FINAL TOTAL SEARCH STATS ---------
4.39/2.76 c (0,0) c UIP search time : 0.01 (49.37 % time)
4.39/2.76 c (0,0) c restarts : 3 (188.67 confls per restart)
4.39/2.76 c (0,0) c blocked restarts : 0 (0.00 per normal restart)
4.39/2.76 c (0,0) c time : 0.01
4.39/2.76 c (0,0) c decisions : 1941 (0.00 % random)
4.39/2.76 c (0,0) c propagations : 28170
4.39/2.76 c (0,0) c decisions/conflicts : 3.43
4.39/2.76 c (0,0) c conflicts : 566 (112928.97 / sec)
4.39/2.76 c (0,0) c conf lits non-minim : 2613 (4.62 lit/confl)
4.39/2.76 c (0,0) c conf lits final : 4.30
4.39/2.76 c (0,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
4.39/2.76 c (0,0) c red which0 : 322 (56.89 % of confl)
4.39/2.76 c (0,0) c props/decision : 0.00
4.39/2.76 c (0,0) c props/conflict : 0.00
4.39/2.76 c (0,0) c 0-depth assigns : 48 (8.73 % vars)
4.39/2.76 c (0,0) c 0-depth assigns by CNF : 0 (0.00 % vars)
4.39/2.76 c (0,0) c reduceDB time : 0.00 (0.00 % time)
4.39/2.76 c (0,0) c OccSimplifier time : 0.00 (0.00 % time)
4.39/2.76 c (0,0) c [occur] 0.00 is overhead
4.39/2.76 c (0,0) c [occur] link-in T: 0.00 cleanup T: 0.00
4.39/2.76 c (0,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
4.39/2.76 c (0,0) c SCC time : 0.00 (0.00 % time)
4.39/2.76 c (0,0) c [scc] new: 0 BP 0M T: 0.00
4.39/2.76 c (0,0) c vrep replace time : 0.00 (0.00 % time)
4.39/2.76 c (0,0) c vrep tree roots : 0
4.39/2.76 c (0,0) c vrep trees' crown : 0 (0.00 leafs/tree)
4.39/2.76 c (0,0) c distill time : 0.00 (0.45 % time)
4.39/2.76 c (0,0) c strength cache-irred time: 0.00 (0.00 % time)
4.39/2.76 c (0,0) c strength cache-red time : 0.00 (0.00 % time)
4.39/2.76 c (0,0) c Conflicts in UIP : 566 (55752.56 confl/time_this_thread)
4.39/2.76 c (0,0) c Mem used : 3.31 MB
4.39/2.76 c (0,0) c Total time (this thread) : 0.01
4.39/2.76 c (0,0) s UNSATISFIABLE
4.39/2.80 c (0,0) SatSolver.solve End
4.39/2.80 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
4.39/2.80 c (0,0) Show results Begin
4.39/2.80 s UNSATISFIABLE
4.39/2.80 c (0,0) Show results End
4.39/2.80 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
4.39/2.81 c (0,0) 0,0,STOP-AFTER(ALL)
4.39/2.81 c END-Prog: Thu Sep 12 13:57:33 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 (7670 MiB free)
memory of node 1: 16384 MiB (2679 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387711-1568289490/watcher-4387711-1568289490 -o /tmp/evaluation-result-4387711-1568289490/solver-4387711-1568289490 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568286434-6491 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387711-1568289490.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=7383, runsolver pid=7380
[startup+0.100987 s]*
/proc/loadavg: 1.66 1.73 1.98 4/229 7400
/proc/meminfo: memFree=10537604/32770624 swapFree=66959212/67108860
[pid=7383] ppid=7380 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/7383/stat : 7383 (scop.sh) S 7380 7383 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404889168 115843072 349 33554432000 4194304 5098028 140733465552256 140733465549512 139658377671292 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25751552 140733465555811 140733465556080 140733465556080 140733465558989 0
/proc/7383/statm: 28282 349 296 221 0 87 0
[pid=7386] ppid=7383 vsize=15012696 memory=72768 CPUtime=0.11 cores=0,2,4,6
/proc/7386/stat : 7386 (java) S 7383 7383 5595 0 -1 1077944320 6991 0 0 0 10 1 0 0 20 0 15 0 404889168 15373000704 18192 33554432000 4194304 4196468 140727705088016 140727705070560 139867078229751 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
/proc/7386/statm: 3753174 18192 2911 1 0 3715579 0
[pid=7386/tid=7387] ppid=7383 vsize=15012696 memory=7827151305265353563 CPUtime=0.09 cores=0,2,4,6
/proc/7386/task/7387/stat : 7387 (java) R 7383 7383 5595 0 -1 4202560 4773 0 0 0 8 1 0 0 20 0 15 0 404889168 15373000704 18192 33554432000 4194304 4196468 140727705088016 139867050023656 139867062310238 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7388] ppid=7383 vsize=15012696 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7388/stat : 7388 (java) S 7383 7383 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404889170 15373000704 18192 33554432000 4194304 4196468 140727705088016 139867082472336 139867078239957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7389] ppid=7383 vsize=15012696 memory=140659671066240 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7389/stat : 7389 (java) S 7383 7383 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404889170 15373000704 18192 33554432000 4194304 4196468 140727705088016 139866896628496 139867078239957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7390] ppid=7383 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7390/stat : 7390 (java) S 7383 7383 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404889170 15373000704 18192 33554432000 4194304 4196468 140727705088016 139866895576208 139867078239957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7391] ppid=7383 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7391/stat : 7391 (java) S 7383 7383 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404889170 15373000704 18192 33554432000 4194304 4196468 140727705088016 139866894523408 139867078239957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7392] ppid=7383 vsize=15012696 memory=140659671066240 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7392/stat : 7392 (java) S 7383 7383 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404889171 15373000704 18192 33554432000 4194304 4196468 140727705088016 139866048260208 139867078240898 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7393] ppid=7383 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7393/stat : 7393 (java) S 7383 7383 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404889172 15373000704 18192 33554432000 4194304 4196468 140727705088016 139865677095712 139867078239957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7394] ppid=7383 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7394/stat : 7394 (java) S 7383 7383 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404889172 15373000704 18192 33554432000 4194304 4196468 140727705088016 139865408660592 139867078239957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7395] ppid=7383 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7395/stat : 7395 (java) S 7383 7383 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404889174 15373000704 18192 33554432000 4194304 4196468 140727705088016 139865034152016 139867078248347 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7396] ppid=7383 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7396/stat : 7396 (java) S 7383 7383 5595 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 15 0 404889174 15373000704 18192 33554432000 4194304 4196468 140727705088016 139866047208048 139867078240898 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7397] ppid=7383 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7397/stat : 7397 (java) S 7383 7383 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404889174 15373000704 18192 33554432000 4194304 4196468 140727705088016 139866046155248 139867078240898 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7398] ppid=7383 vsize=15012696 memory=140659671066240 CPUtime=0.01 cores=0,2,4,6
/proc/7386/task/7398/stat : 7398 (java) R 7383 7383 5595 0 -1 4202560 461 0 0 0 1 0 0 0 20 0 15 0 404889175 15373000704 18192 33554432000 4194304 4196468 140727705088016 139866045102960 139867078241686 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7399] ppid=7383 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7399/stat : 7399 (java) S 7383 7383 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404889175 15373000704 18192 33554432000 4194304 4196468 140727705088016 139864536247264 139867078239957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7400] ppid=7383 vsize=15012696 memory=140659671066240 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7400/stat : 7400 (java) S 7383 7383 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404889175 15373000704 18192 33554432000 4194304 4196468 140727705088016 139866044049840 139867078240898 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74164 KiB
[startup+0.211036 s]*
/proc/loadavg: 1.66 1.73 1.98 3/229 7400
/proc/meminfo: memFree=10519812/32770624 swapFree=66959212/67108860
[pid=7383] ppid=7380 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/7383/stat : 7383 (scop.sh) S 7380 7383 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404889168 115843072 349 33554432000 4194304 5098028 140733465552256 140733465549512 139658377671292 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25751552 140733465555811 140733465556080 140733465556080 140733465558989 0
/proc/7383/statm: 28282 349 296 221 0 87 0
[pid=7386] ppid=7383 vsize=15012696 memory=88120 CPUtime=0.25 cores=0,2,4,6
/proc/7386/stat : 7386 (java) S 7383 7383 5595 0 -1 1077944320 12075 0 0 0 22 3 0 0 20 0 15 0 404889168 15373000704 22030 33554432000 4194304 4196468 140727705088016 140727705070560 139867078229751 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
/proc/7386/statm: 3753174 22030 2926 1 0 3715579 0
[pid=7386/tid=7387] ppid=7383 vsize=15012696 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/7386/task/7387/stat : 7387 (java) R 7383 7383 5595 0 -1 4202560 9799 0 0 0 17 2 0 0 20 0 15 0 404889168 15373000704 22030 33554432000 4194304 4196468 140727705088016 139867050037312 139867062310238 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7388] ppid=7383 vsize=15012696 memory=1965945 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7388/stat : 7388 (java) S 7383 7383 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404889170 15373000704 22030 33554432000 4194304 4196468 140727705088016 139867082472336 139867078239957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7389] ppid=7383 vsize=15012696 memory=140659673995110 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7389/stat : 7389 (java) S 7383 7383 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404889170 15373000704 22030 33554432000 4194304 4196468 140727705088016 139866896628496 139867078239957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7390] ppid=7383 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7390/stat : 7390 (java) S 7383 7383 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404889170 15373000704 22030 33554432000 4194304 4196468 140727705088016 139866895576208 139867078239957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7391] ppid=7383 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7391/stat : 7391 (java) S 7383 7383 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404889170 15373000704 22030 33554432000 4194304 4196468 140727705088016 139866894523408 139867078239957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7392] ppid=7383 vsize=15012696 memory=140659671066240 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7392/stat : 7392 (java) S 7383 7383 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404889171 15373000704 22030 33554432000 4194304 4196468 140727705088016 139866048260208 139867078240898 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7393] ppid=7383 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7393/stat : 7393 (java) S 7383 7383 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404889172 15373000704 22030 33554432000 4194304 4196468 140727705088016 139865677095712 139867078239957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7394] ppid=7383 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7394/stat : 7394 (java) S 7383 7383 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404889172 15373000704 22030 33554432000 4194304 4196468 140727705088016 139865408660592 139867078239957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7395] ppid=7383 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7395/stat : 7395 (java) S 7383 7383 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404889174 15373000704 22030 33554432000 4194304 4196468 140727705088016 139865034152016 139867078248347 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7396] ppid=7383 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7396/stat : 7396 (java) S 7383 7383 5595 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 15 0 404889174 15373000704 22030 33554432000 4194304 4196468 140727705088016 139866047208048 139867078240898 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7397] ppid=7383 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7397/stat : 7397 (java) S 7383 7383 5595 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 404889174 15373000704 22030 33554432000 4194304 4196468 140727705088016 139866046155248 139867078240898 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7398] ppid=7383 vsize=15012696 memory=140659671066240 CPUtime=0.03 cores=0,2,4,6
/proc/7386/task/7398/stat : 7398 (java) R 7383 7383 5595 0 -1 4202560 470 0 0 0 3 0 0 0 20 0 15 0 404889175 15373000704 22030 33554432000 4194304 4196468 140727705088016 139866045102960 139867057145255 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7399] ppid=7383 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7399/stat : 7399 (java) S 7383 7383 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404889175 15373000704 22030 33554432000 4194304 4196468 140727705088016 139864536247264 139867078239957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7400] ppid=7383 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7400/stat : 7400 (java) S 7383 7383 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404889175 15373000704 22030 33554432000 4194304 4196468 140727705088016 139866044049840 139867078240898 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89516 KiB
[startup+0.31059 s]*
/proc/loadavg: 1.66 1.73 1.98 4/229 7400
/proc/meminfo: memFree=10516772/32770624 swapFree=66959212/67108860
[pid=7383] ppid=7380 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/7383/stat : 7383 (scop.sh) S 7380 7383 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404889168 115843072 349 33554432000 4194304 5098028 140733465552256 140733465549512 139658377671292 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25751552 140733465555811 140733465556080 140733465556080 140733465558989 0
/proc/7383/statm: 28282 349 296 221 0 87 0
[pid=7386] ppid=7383 vsize=15012696 memory=92052 CPUtime=0.43 cores=0,2,4,6
/proc/7386/stat : 7386 (java) S 7383 7383 5595 0 -1 1077944320 12556 0 0 0 40 3 0 0 20 0 15 0 404889168 15373000704 23013 33554432000 4194304 4196468 140727705088016 140727705070560 139867078229751 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
/proc/7386/statm: 3753174 23013 3062 1 0 3715579 0
[pid=7386/tid=7387] ppid=7383 vsize=15012696 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/7386/task/7387/stat : 7387 (java) R 7383 7383 5595 0 -1 4202560 10072 0 0 0 27 2 0 0 20 0 15 0 404889168 15373000704 23013 33554432000 4194304 4196468 140727705088016 139867050043616 139867063395296 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7388] ppid=7383 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7388/stat : 7388 (java) S 7383 7383 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404889170 15373000704 23013 33554432000 4194304 4196468 140727705088016 139867082472336 139867078239957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7389] ppid=7383 vsize=15012696 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7389/stat : 7389 (java) S 7383 7383 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404889170 15373000704 23013 33554432000 4194304 4196468 140727705088016 139866896628496 139867078239957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7390] ppid=7383 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7390/stat : 7390 (java) S 7383 7383 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404889170 15373000704 23013 33554432000 4194304 4196468 140727705088016 139866895576208 139867078239957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7391] ppid=7383 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7391/stat : 7391 (java) S 7383 7383 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404889170 15373000704 23013 33554432000 4194304 4196468 140727705088016 139866894523408 139867078239957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7392] ppid=7383 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7392/stat : 7392 (java) S 7383 7383 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404889171 15373000704 23013 33554432000 4194304 4196468 140727705088016 139866048260208 139867078240898 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7393] ppid=7383 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7393/stat : 7393 (java) S 7383 7383 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404889172 15373000704 23013 33554432000 4194304 4196468 140727705088016 139865677095712 139867078239957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7394] ppid=7383 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7394/stat : 7394 (java) S 7383 7383 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404889172 15373000704 23013 33554432000 4194304 4196468 140727705088016 139865408660592 139867078239957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7395] ppid=7383 vsize=15012696 memory=8549982201333320512 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7395/stat : 7395 (java) S 7383 7383 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404889174 15373000704 23013 33554432000 4194304 4196468 140727705088016 139865034152016 139867078248347 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7396] ppid=7383 vsize=15012696 memory=8325818968683490714 CPUtime=0.02 cores=0,2,4,6
/proc/7386/task/7396/stat : 7396 (java) S 7383 7383 5595 0 -1 1077944384 463 0 0 0 2 0 0 0 20 0 15 0 404889174 15373000704 23013 33554432000 4194304 4196468 140727705088016 139866047208048 139867078240898 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7397] ppid=7383 vsize=15012696 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/7386/task/7397/stat : 7397 (java) S 7383 7383 5595 0 -1 1077944384 168 0 0 0 3 0 0 0 20 0 15 0 404889174 15373000704 23013 33554432000 4194304 4196468 140727705088016 139866046155248 139867078240898 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7398] ppid=7383 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7386/task/7398/stat : 7398 (java) S 7383 7383 5595 0 -1 1077944384 520 0 0 0 7 0 0 0 20 0 15 0 404889175 15373000704 23013 33554432000 4194304 4196468 140727705088016 139866045102960 139867078240898 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7399] ppid=7383 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7399/stat : 7399 (java) S 7383 7383 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404889175 15373000704 23013 33554432000 4194304 4196468 140727705088016 139864536247264 139867078239957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7400] ppid=7383 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7400/stat : 7400 (java) S 7383 7383 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404889175 15373000704 23013 33554432000 4194304 4196468 140727705088016 139866044049840 139867078240898 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93448 KiB
[startup+0.701354 s]
/proc/loadavg: 1.66 1.73 1.98 3/229 7400
/proc/meminfo: memFree=10486720/32770624 swapFree=66959212/67108860
[pid=7383] ppid=7380 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/7383/stat : 7383 (scop.sh) S 7380 7383 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404889168 115843072 349 33554432000 4194304 5098028 140733465552256 140733465549512 139658377671292 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25751552 140733465555811 140733465556080 140733465556080 140733465558989 0
/proc/7383/statm: 28282 349 296 221 0 87 0
[pid=7386] ppid=7383 vsize=15021092 memory=130392 CPUtime=1 cores=0,2,4,6
/proc/7386/stat : 7386 (java) S 7383 7383 5595 0 -1 1077944320 20371 0 0 0 94 6 0 0 20 0 15 0 404889168 15381598208 32598 33554432000 4194304 4196468 140727705088016 140727705070560 139867078229751 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
/proc/7386/statm: 3755273 32598 3205 1 0 3716603 0
[pid=7386/tid=7387] ppid=7383 vsize=15022116 memory=3472328296227679313 CPUtime=0.67 cores=0,2,4,6
/proc/7386/task/7387/stat : 7387 (java) R 7383 7383 5595 0 -1 4202560 17318 0 0 0 62 5 0 0 20 0 15 0 404889168 15382646784 32598 33554432000 4194304 4196468 140727705088016 139867050038528 139867070946714 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7388] ppid=7383 vsize=15022116 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7388/stat : 7388 (java) S 7383 7383 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404889170 15382646784 32598 33554432000 4194304 4196468 140727705088016 139867082472336 139867078239957 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7389] ppid=7383 vsize=15022116 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7389/stat : 7389 (java) S 7383 7383 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404889170 15382646784 32598 33554432000 4194304 4196468 140727705088016 139866896628496 139867078239957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7390] ppid=7383 vsize=15022116 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7390/stat : 7390 (java) S 7383 7383 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404889170 15382646784 32598 33554432000 4194304 4196468 140727705088016 139866895576208 139867078239957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7391] ppid=7383 vsize=15022116 memory=37280 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7391/stat : 7391 (java) S 7383 7383 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404889170 15382646784 32598 33554432000 4194304 4196468 140727705088016 139866894523408 139867078239957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7392] ppid=7383 vsize=15021092 memory=988 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7392/stat : 7392 (java) S 7383 7383 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404889171 15381598208 32627 33554432000 4194304 4196468 140727705088016 139866048260208 139867078240898 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7393] ppid=7383 vsize=15021092 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7393/stat : 7393 (java) S 7383 7383 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404889172 15381598208 32627 33554432000 4194304 4196468 140727705088016 139865677095712 139867078239957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7394] ppid=7383 vsize=15022116 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7394/stat : 7394 (java) S 7383 7383 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404889172 15382646784 32627 33554432000 4194304 4196468 140727705088016 139865408660592 139867078239957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7395] ppid=7383 vsize=15022116 memory=580 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7395/stat : 7395 (java) S 7383 7383 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404889174 15382646784 32627 33554432000 4194304 4196468 140727705088016 139865034152016 139867078248347 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7396] ppid=7383 vsize=15022116 memory=1720 CPUtime=0.07 cores=0,2,4,6
/proc/7386/task/7396/stat : 7396 (java) R 7383 7383 5595 0 -1 4202560 669 0 0 0 7 0 0 0 20 0 15 0 404889174 15382646784 32627 33554432000 4194304 4196468 140727705088016 139866047208048 139867062982987 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7397] ppid=7383 vsize=15021092 memory=10604 CPUtime=0.08 cores=0,2,4,6
/proc/7386/task/7397/stat : 7397 (java) R 7383 7383 5595 0 -1 1077944384 379 0 0 0 8 0 0 0 20 0 15 0 404889174 15381598208 32627 33554432000 4194304 4196468 140727705088016 139866046155248 139867078240898 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7398] ppid=7383 vsize=15022116 memory=3360 CPUtime=0.16 cores=0,2,4,6
/proc/7386/task/7398/stat : 7398 (java) R 7383 7383 5595 0 -1 4202560 669 0 0 0 16 0 0 0 20 0 15 0 404889175 15382646784 32627 33554432000 4194304 4196468 140727705088016 139866045102960 139867057368616 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7399] ppid=7383 vsize=15022116 memory=776 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7399/stat : 7399 (java) S 7383 7383 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404889175 15382646784 32627 33554432000 4194304 4196468 140727705088016 139864536247264 139867078239957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7400] ppid=7383 vsize=15022116 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7400/stat : 7400 (java) S 7383 7383 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404889175 15382646784 32627 33554432000 4194304 4196468 140727705088016 139866044049840 139867078240898 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131788 KiB
[startup+1.51005 s]
/proc/loadavg: 1.66 1.73 1.98 4/229 7400
/proc/meminfo: memFree=10450536/32770624 swapFree=66959212/67108860
[pid=7383] ppid=7380 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/7383/stat : 7383 (scop.sh) S 7380 7383 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404889168 115843072 349 33554432000 4194304 5098028 140733465552256 140733465549512 139658377671292 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25751552 140733465555811 140733465556080 140733465556080 140733465558989 0
/proc/7383/statm: 28282 349 296 221 0 87 0
[pid=7386] ppid=7383 vsize=15025188 memory=178152 CPUtime=2.85 cores=0,2,4,6
/proc/7386/stat : 7386 (java) S 7383 7383 5595 0 -1 1077944320 23706 0 0 0 276 9 0 0 20 0 15 0 404889168 15385792512 44538 33554432000 4194304 4196468 140727705088016 140727705070560 139867078229751 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
/proc/7386/statm: 3756297 44538 3247 1 0 3717627 0
[pid=7386/tid=7387] ppid=7383 vsize=15025188 memory=-7816663703405220396 CPUtime=1.47 cores=0,2,4,6
/proc/7386/task/7387/stat : 7387 (java) R 7383 7383 5595 0 -1 4202560 18669 0 0 0 141 6 0 0 20 0 15 0 404889168 15385792512 44538 33554432000 4194304 4196468 140727705088016 139867050063392 139867078241686 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7388] ppid=7383 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7388/stat : 7388 (java) S 7383 7383 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404889170 15385792512 44538 33554432000 4194304 4196468 140727705088016 139867082472336 139867078239957 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7389] ppid=7383 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7389/stat : 7389 (java) S 7383 7383 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404889170 15385792512 44538 33554432000 4194304 4196468 140727705088016 139866896628496 139867078239957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7390] ppid=7383 vsize=15025188 memory=281319015893232 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7390/stat : 7390 (java) S 7383 7383 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404889170 15385792512 44538 33554432000 4194304 4196468 140727705088016 139866895576208 139867078239957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7391] ppid=7383 vsize=15025188 memory=1966185 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7391/stat : 7391 (java) S 7383 7383 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404889170 15385792512 44538 33554432000 4194304 4196468 140727705088016 139866894523408 139867078239957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7392] ppid=7383 vsize=15025188 memory=1967567 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7392/stat : 7392 (java) S 7383 7383 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404889171 15385792512 44538 33554432000 4194304 4196468 140727705088016 139866048260208 139867078240898 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7393] ppid=7383 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7393/stat : 7393 (java) S 7383 7383 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404889172 15385792512 44538 33554432000 4194304 4196468 140727705088016 139865677095712 139867078239957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7394] ppid=7383 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7394/stat : 7394 (java) S 7383 7383 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404889172 15385792512 44538 33554432000 4194304 4196468 140727705088016 139865408660592 139867078239957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7395] ppid=7383 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7395/stat : 7395 (java) S 7383 7383 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404889174 15385792512 44538 33554432000 4194304 4196468 140727705088016 139865034152016 139867078248347 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7396] ppid=7383 vsize=15025188 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/7386/task/7396/stat : 7396 (java) R 7383 7383 5595 0 -1 4202560 931 0 0 0 35 0 0 0 20 0 15 0 404889174 15385792512 44538 33554432000 4194304 4196468 140727705088016 139866047194160 139867058073359 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7397] ppid=7383 vsize=15025188 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/7386/task/7397/stat : 7397 (java) R 7383 7383 5595 0 -1 4202560 680 0 0 0 35 0 0 0 20 0 15 0 404889174 15385792512 44538 33554432000 4194304 4196468 140727705088016 139866046144408 139867062623341 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7398] ppid=7383 vsize=15025188 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/7386/task/7398/stat : 7398 (java) R 7383 7383 5595 0 -1 4202560 2090 0 0 0 64 1 0 0 20 0 15 0 404889175 15385792512 44538 33554432000 4194304 4196468 140727705088016 139866045102960 139867078251098 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7399] ppid=7383 vsize=15025188 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7399/stat : 7399 (java) S 7383 7383 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404889175 15385792512 44538 33554432000 4194304 4196468 140727705088016 139864536247264 139867078239957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7400] ppid=7383 vsize=15025188 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7400/stat : 7400 (java) S 7383 7383 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404889175 15385792512 44538 33554432000 4194304 4196468 140727705088016 139866044049840 139867078240898 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 179548 KiB
[startup+2.82594 s]
# the end of solver process 7383 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.43723 s, system=0.214916 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60107 s]
/proc/loadavg: 1.66 1.73 1.98 4/229 7400
/proc/meminfo: memFree=10450536/32770624 swapFree=66959212/67108860
[pid=7383] ppid=7380 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/7383/stat : 7383 (scop.sh) S 7380 7383 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404889168 115843072 349 33554432000 4194304 5098028 140733465552256 140733465549512 139658377671292 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25751552 140733465555811 140733465556080 140733465556080 140733465558989 0
/proc/7383/statm: 28282 349 296 221 0 87 0
[pid=7386] ppid=7383 vsize=15025188 memory=184180 CPUtime=3.16 cores=0,2,4,6
/proc/7386/stat : 7386 (java) S 7383 7383 5595 0 -1 1077944320 24247 0 0 0 307 9 0 0 20 0 15 0 404889168 15385792512 46045 33554432000 4194304 4196468 140727705088016 140727705070560 139867078229751 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
/proc/7386/statm: 3756297 46045 3247 1 0 3717627 0
[pid=7386/tid=7387] ppid=7383 vsize=15025188 memory=988 CPUtime=1.56 cores=0,2,4,6
/proc/7386/task/7387/stat : 7387 (java) R 7383 7383 5595 0 -1 4202560 18713 0 0 0 150 6 0 0 20 0 15 0 404889168 15385792512 46045 33554432000 4194304 4196468 140727705088016 139867050067984 139866571543515 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7388] ppid=7383 vsize=15025188 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7388/stat : 7388 (java) S 7383 7383 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404889170 15385792512 46045 33554432000 4194304 4196468 140727705088016 139867082472336 139867078239957 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7389] ppid=7383 vsize=15025188 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7389/stat : 7389 (java) S 7383 7383 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404889170 15385792512 46045 33554432000 4194304 4196468 140727705088016 139866896628496 139867078239957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7390] ppid=7383 vsize=15025188 memory=580 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7390/stat : 7390 (java) S 7383 7383 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404889170 15385792512 46045 33554432000 4194304 4196468 140727705088016 139866895576208 139867078239957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7391] ppid=7383 vsize=15025188 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7391/stat : 7391 (java) S 7383 7383 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404889170 15385792512 46045 33554432000 4194304 4196468 140727705088016 139866894523408 139867078239957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7392] ppid=7383 vsize=15025188 memory=10604 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7392/stat : 7392 (java) S 7383 7383 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404889171 15385792512 46045 33554432000 4194304 4196468 140727705088016 139866048260208 139867078240898 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7393] ppid=7383 vsize=15025188 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7393/stat : 7393 (java) S 7383 7383 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404889172 15385792512 46045 33554432000 4194304 4196468 140727705088016 139865677095712 139867078239957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7394] ppid=7383 vsize=15025188 memory=776 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7394/stat : 7394 (java) S 7383 7383 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404889172 15385792512 46045 33554432000 4194304 4196468 140727705088016 139865408660592 139867078239957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7395] ppid=7383 vsize=15025188 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7395/stat : 7395 (java) S 7383 7383 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404889174 15385792512 46045 33554432000 4194304 4196468 140727705088016 139865034152016 139867078248347 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7396] ppid=7383 vsize=15025188 memory=5960 CPUtime=0.44 cores=0,2,4,6
/proc/7386/task/7396/stat : 7396 (java) R 7383 7383 5595 0 -1 4202560 1322 0 0 0 44 0 0 0 20 0 15 0 404889174 15385792512 46045 33554432000 4194304 4196468 140727705088016 139866047188600 139867061640544 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7397] ppid=7383 vsize=15025188 memory=1060 CPUtime=0.44 cores=0,2,4,6
/proc/7386/task/7397/stat : 7397 (java) R 7383 7383 5595 0 -1 4202560 711 0 0 0 44 0 0 0 20 0 15 0 404889174 15385792512 46045 33554432000 4194304 4196468 140727705088016 139866046141344 139867063526049 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7398] ppid=7383 vsize=15025188 memory=2828 CPUtime=0.69 cores=0,2,4,6
/proc/7386/task/7398/stat : 7398 (java) S 7383 7383 5595 0 -1 1077944384 2165 0 0 0 68 1 0 0 20 0 15 0 404889175 15385792512 46045 33554432000 4194304 4196468 140727705088016 139866045102960 139867078240898 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7399] ppid=7383 vsize=15025188 memory=1216 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7399/stat : 7399 (java) S 7383 7383 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404889175 15385792512 46045 33554432000 4194304 4196468 140727705088016 139864536247264 139867078239957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
[pid=7386/tid=7400] ppid=7383 vsize=15025188 memory=984 CPUtime=0 cores=0,2,4,6
/proc/7386/task/7400/stat : 7400 (java) S 7383 7383 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404889175 15385792512 46045 33554432000 4194304 4196468 140727705088016 139866044049840 139867078240898 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19963904 140727705097002 140727705097370 140727705097370 140727705100239 0
Current children cumulated CPU time: 3.16 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 185576 KiB
[startup+2.40033 s]
/proc/loadavg: 1.66 1.73 1.98 3/216 7400
/proc/meminfo: memFree=10548780/32770624 swapFree=66959212/67108860
[pid=7383] ppid=7380 vsize=113128 memory=1476 CPUtime=4.39 cores=0,2,4,6
/proc/7383/stat : 7383 (scop.sh) S 7380 7383 5595 0 -1 4202496 583 26430 0 0 0 0 427 12 20 0 1 0 404889168 115843072 369 33554432000 4194304 5098028 140733465552256 140733465549000 139658377671292 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25751552 140733465555811 140733465556080 140733465556080 140733465558989 0
/proc/7383/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 4.39 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB
[startup+2.80022 s]
/proc/loadavg: 1.66 1.73 1.98 3/216 7400
/proc/meminfo: memFree=10548780/32770624 swapFree=66959212/67108860
[pid=7383] ppid=7380 vsize=113128 memory=1476 CPUtime=4.39 cores=0,2,4,6
/proc/7383/stat : 7383 (scop.sh) S 7380 7383 5595 0 -1 4202496 583 26430 0 0 0 0 427 12 20 0 1 0 404889168 115843072 369 33554432000 4194304 5098028 140733465552256 140733465549000 139658377671292 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 25751552 140733465555811 140733465556080 140733465556080 140733465558989 0
/proc/7383/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 4.39 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB
Child status: 0
Real time (s): 2.82598
CPU time (s): 5.65214
CPU user time (s): 5.43723
CPU system time (s): 0.214916
CPU usage (%): 200.007
Max. virtual memory (cumulated for all children) (KiB): 15140432
Max. memory (cumulated for all children) (KiB): 223476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.43723
system time used= 0.214916
maximum resident set size= 230900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48450
page faults= 0
swaps= 0
block input operations= 0
block output operations= 328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5074
involuntary context switches= 36
# summary of solver processes directly reported to runsolver:
# pid: 7383
# total CPU time (s): 5.65214
# total CPU user time (s): 5.43723
# total CPU system time (s): 0.214916
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041425 second user time and 0.068351 second system time
The end