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-13785-serial-file.bin HOME/instance-4388440-1568298549.xml
0.67/0.52
0.67/0.52 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Thu Sep 12 16:28:10 CEST 2019
0.67/0.55 c PID: 13788
0.67/0.55 c IP: 172.20.3.103
0.67/0.55 c HOST: node103.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.76/1.01 c (0,0) Parsing End
1.76/1.02 c (0,0) CSP: 30 int (0 aux), 0 bool (0 aux), 105 ctr, max domain size 36
1.76/1.02 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.76/1.02 c (0,0) Constraint Name Generate Begin
1.76/1.02 c (0,0) Ctr:HOME/instance-4388440-1568298549.xml,Add:Le:Num:Or:Var
1.76/1.02 c (0,0) Constraint Name Generate End
1.76/1.02 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.76/1.02 c (0,0) CSP to CSPinCNF Begin
1.96/1.13 c (0,0) translated 11 (10%) constraints
1.96/1.14 c (0,0) translated 21 (20%) constraints
1.96/1.16 c (0,0) translated 32 (30%) constraints
1.96/1.17 c (0,0) translated 42 (40%) constraints
1.96/1.17 c (0,0) translated 53 (50%) constraints
1.96/1.18 c (0,0) translated 63 (60%) constraints
1.96/1.19 c (0,0) translated 74 (70%) constraints
2.17/1.20 c (0,0) translated 84 (80%) constraints
2.17/1.21 c (0,0) translated 95 (90%) constraints
2.17/1.22 c (0,0) translated 105 (100%) constraints
2.17/1.22 c (0,0) ===========================================
2.17/1.24 c (0,0) Hybrid: #OE=30, #LE=0
2.17/1.24 c (0,0) Hybrid
2.17/1.24 c (0,0) ===========================================
2.17/1.24 c (0,0) translated 11 (10%) constraints
2.17/1.25 c (0,0) translated 21 (20%) constraints
2.17/1.25 c (0,0) translated 32 (30%) constraints
2.17/1.26 c (0,0) translated 42 (40%) constraints
2.17/1.26 c (0,0) translated 53 (50%) constraints
2.17/1.26 c (0,0) translated 63 (60%) constraints
2.17/1.27 c (0,0) translated 74 (70%) constraints
2.17/1.27 c (0,0) translated 84 (80%) constraints
2.17/1.27 c (0,0) translated 95 (90%) constraints
2.17/1.27 c (0,0) translated 105 (100%) constraints
2.17/1.28 c (0,0) CSP to CSPinCNF End
2.17/1.28 c (0,0) CSP: 30 int (0 aux), 0 bool (0 aux), 105 ctr, max domain size 36
2.17/1.28 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.17/1.28 c (0,0) CSPinCNF Propagation Begin
2.17/1.30 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.17/1.30 c (0,0) CSPinCNF Propagation End
2.17/1.30 c (0,0) CSP: 30 int (0 aux), 0 bool (0 aux), 105 ctr, max domain size 36
2.17/1.30 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.44/1.30 c (0,0) Hybrid: #OE=30, #LE=0
2.44/1.30 c (0,0) Simplify CSPinCNF Begin
2.44/1.37 c (0,0) Simplify CSPinCNF End
2.44/1.37 c (0,0) CSP: 30 int (0 aux), 420 bool (420 aux), 525 ctr, max domain size 36
2.44/1.37 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.44/1.37 c (0,0) Calculate Precise Domain Begin
2.44/1.37 c (0,0) 0 values are removed by re-calculation
2.44/1.37 c (0,0) Calculate Precise Domain End
2.44/1.38 c (0,0) CSP: 30 int (0 aux), 420 bool (420 aux), 525 ctr, max domain size 36
2.44/1.38 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.44/1.38 c (0,0) CSPinCNF to SatSolver Begin
2.86/1.53 c (1,0) 53 (10 %) CSP clauses are encoded (0 SAT variables, 2066 SAT clauses)
2.86/1.56 c (1,1) 105 (20 %) CSP clauses are encoded (0 SAT variables, 3240 SAT clauses)
2.86/1.58 c (1,1) 158 (30 %) CSP clauses are encoded (0 SAT variables, 4341 SAT clauses)
3.18/1.60 c (1,1) 210 (40 %) CSP clauses are encoded (0 SAT variables, 5385 SAT clauses)
3.18/1.62 c (1,1) 263 (50 %) CSP clauses are encoded (0 SAT variables, 6380 SAT clauses)
3.18/1.64 c (1,1) 315 (60 %) CSP clauses are encoded (0 SAT variables, 7318 SAT clauses)
3.18/1.65 c (1,1) 368 (70 %) CSP clauses are encoded (0 SAT variables, 8183 SAT clauses)
3.18/1.66 c (1,1) 420 (80 %) CSP clauses are encoded (0 SAT variables, 8943 SAT clauses)
3.18/1.68 c (1,1) 473 (90 %) CSP clauses are encoded (0 SAT variables, 9626 SAT clauses)
3.18/1.68 c (1,1) 525 (100 %) CSP clauses are encoded (0 SAT variables, 10146 SAT clauses)
3.18/1.68 c (1,1) CSPinCNF to SatSolver End
3.18/1.68 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.18/1.69 c (1,1) 1260 bool, 10155 clause
3.18/1.69 c (1,1) Export Begin
3.50/1.77 c (1,1) Export to HOME/scop-13785-serial-file.bin
3.50/1.77 c (1,1) Export End
3.50/1.77 c (1,1) Export File Size: 0.01 MB
3.50/1.77 c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
3.50/1.77 c END-Prog: Thu Sep 12 16:28:12 CEST 2019
3.50/1.79 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-13785-serial-file.bin
4.27/2.24 c (0,0) Read Serial File Begin
4.27/2.24 c (0,0) HOME/scop-13785-serial-file.bin
4.54/2.43 c (0,0) Read Serial File End
4.54/2.44
4.54/2.44 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
4.54/2.44 (Solving Process)
4.54/2.44
4.54/2.46 c BEGIN-Prog: Thu Sep 12 16:28:12 CEST 2019
4.54/2.46 c PID: 13803
4.54/2.46 c IP: 172.20.3.103
4.54/2.46 c HOST: node103.alineos.net
4.54/2.47 c (0,0) SatSolver.solve Begin
4.54/2.47 c (0,0) HOME/cryptominisat5 HOME/instance-4388440-1568298549.xml-scop-13788.cnf
4.73/2.51 c (0,0) c Outputting solution to console
4.73/2.51 c (0,0) c CryptoMiniSat version 5.6.8
4.73/2.51 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
4.73/2.51 c (0,0) c CMS SHA revision GIT-notfound
4.73/2.51 c (0,0) c CMS is MIT licensed
4.73/2.51 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.73/2.51 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
4.73/2.51 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388440-1568298549.xml-scop-13788.cnf
4.73/2.51 c (0,0) c Reading file 'HOME/instance-4388440-1568298549.xml-scop-13788.cnf'
4.73/2.51 c (0,0) c -- header says num vars: 1260
4.73/2.51 c (0,0) c -- header says num clauses: 10155
4.73/2.51 c (0,0) c -- clauses added: 10155
4.73/2.51 c (0,0) c -- xor clauses added: 0
4.73/2.51 c (0,0) c -- vars added 1260
4.73/2.51 c (0,0) c Parsing time: 0.00 s
4.73/2.51 c (0,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
4.73/2.51 c (0,0) c ------- FINAL TOTAL SEARCH STATS ---------
4.73/2.51 c (0,0) c UIP search time : 0.00 (15.48 % time)
4.73/2.51 c (0,0) c restarts : 1 (12.00 confls per restart)
4.73/2.51 c (0,0) c blocked restarts : 0 (0.00 per normal restart)
4.73/2.51 c (0,0) c time : 0.00
4.73/2.51 c (0,0) c decisions : 110 (0.00 % random)
4.73/2.51 c (0,0) c propagations : 1650
4.73/2.51 c (0,0) c decisions/conflicts : 9.17
4.73/2.51 c (0,0) c conflicts : 12 (12752.39 / sec)
4.73/2.51 c (0,0) c conf lits non-minim : 138 (11.50 lit/confl)
4.73/2.51 c (0,0) c conf lits final : 11.00
4.73/2.51 c (0,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
4.73/2.51 c (0,0) c red which0 : 0 (0.00 % of confl)
4.73/2.51 c (0,0) c props/decision : 0.00
4.73/2.51 c (0,0) c props/conflict : 0.00
4.73/2.51 c (0,0) c 0-depth assigns : 0 (0.00 % vars)
4.73/2.51 c (0,0) c 0-depth assigns by CNF : 0 (0.00 % vars)
4.73/2.51 c (0,0) c reduceDB time : 0.00 (0.00 % time)
4.73/2.51 c (0,0) c OccSimplifier time : 0.00 (0.00 % time)
4.73/2.51 c (0,0) c [occur] 0.00 is overhead
4.73/2.51 c (0,0) c [occur] link-in T: 0.00 cleanup T: 0.00
4.73/2.51 c (0,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
4.73/2.51 c (0,0) c SCC time : 0.00 (0.00 % time)
4.73/2.51 c (0,0) c [scc] new: 0 BP 0M T: 0.00
4.73/2.51 c (0,0) c vrep replace time : 0.00 (0.00 % time)
4.73/2.51 c (0,0) c vrep tree roots : 0
4.73/2.51 c (0,0) c vrep trees' crown : 0 (0.00 leafs/tree)
4.73/2.51 c (0,0) c distill time : 0.00 (0.00 % time)
4.73/2.51 c (0,0) c strength cache-irred time: 0.00 (0.00 % time)
4.73/2.51 c (0,0) c strength cache-red time : 0.00 (0.00 % time)
4.73/2.51 c (0,0) c Conflicts in UIP : 12 (1973.68 confl/time_this_thread)
4.73/2.51 c (0,0) c Mem used : 3.92 MB
4.73/2.51 c (0,0) c Total time (this thread) : 0.01
4.73/2.51 c (0,0) s SATISFIABLE
4.73/2.55 c (0,0) SatSolver.solve End
4.73/2.55 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
4.73/2.55 c (0,0) Show results Begin
5.00/2.63 c (0,0) x[0] = 0
5.00/2.63 c (0,0) x[1] = 1
5.00/2.63 c (0,0) x[2] = 1
5.00/2.63 c (0,0) x[3] = 0
5.00/2.63 c (0,0) x[4] = 24
5.00/2.63 c (0,0) x[5] = 29
5.00/2.63 c (0,0) x[6] = 14
5.00/2.63 c (0,0) x[7] = 13
5.00/2.63 c (0,0) x[8] = 4
5.00/2.63 c (0,0) x[9] = 14
5.00/2.63 c (0,0) x[10] = 13
5.00/2.63 c (0,0) x[11] = 24
5.00/2.63 c (0,0) x[12] = 0
5.00/2.63 c (0,0) x[13] = 0
5.00/2.63 c (0,0) x[14] = 21
5.00/2.63 c (0,0) y[0] = 27
5.00/2.63 c (0,0) y[1] = 27
5.00/2.63 c (0,0) y[2] = 29
5.00/2.63 c (0,0) y[3] = 32
5.00/2.63 c (0,0) y[4] = 15
5.00/2.63 c (0,0) y[5] = 15
5.00/2.63 c (0,0) y[6] = 21
5.00/2.63 c (0,0) y[7] = 28
5.00/2.63 c (0,0) y[8] = 27
5.00/2.63 c (0,0) y[9] = 11
5.00/2.63 c (0,0) y[10] = 0
5.00/2.63 c (0,0) y[11] = 3
5.00/2.63 c (0,0) y[12] = 0
5.00/2.63 c (0,0) y[13] = 13
5.00/2.63 c (0,0) y[14] = 21
5.00/2.63 s SATISFIABLE
5.00/2.63 v <instantiation>
5.00/2.63 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14]</list>
5.00/2.63 v <values>0 1 1 0 24 29 14 13 4 14 13 24 0 0 21 27 27 29 32 15 15 21 28 27 11 0 3 0 13 21</values>
5.00/2.63 v </instantiation>
5.00/2.63 c (0,0) Show results End
5.00/2.64 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
5.00/2.64 c (0,0) 0,0,STOP-AFTER(ALL)
5.00/2.64 c END-Prog: Thu Sep 12 16:28:13 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 (8160 MiB free)
memory of node 1: 16384 MiB (13363 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388440-1568298549/watcher-4388440-1568298549 -o /tmp/evaluation-result-4388440-1568298549/solver-4388440-1568298549 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568289558-9766 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388440-1568298549.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13785, runsolver pid=13782
[startup+0.100094 s]*
/proc/loadavg: 2.01 2.01 2.05 3/234 13802
/proc/meminfo: memFree=21980972/32770624 swapFree=66997112/67108860
[pid=13785] ppid=13782 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/13785/stat : 13785 (scop.sh) S 13782 13785 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406107957 115843072 348 33554432000 4194304 5098028 140725256909840 140725256907096 140497529049724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37818368 140725256913763 140725256914032 140725256914032 140725256916941 0
/proc/13785/statm: 28282 348 296 221 0 87 0
[pid=13788] ppid=13785 vsize=15014680 memory=74636 CPUtime=0.11 cores=1,3,5,7
/proc/13788/stat : 13788 (java) S 13785 13785 8640 0 -1 1077944320 6829 0 0 0 9 2 0 0 20 0 15 0 406107958 15375032320 18593 33554432000 4194304 4196468 140723744861328 140723744843872 140583450238711 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
/proc/13788/statm: 3753670 18659 2917 1 0 3716075 0
[pid=13788/tid=13789] ppid=13785 vsize=15016308 memory=576460756329985062 CPUtime=0.09 cores=1,3,5,7
/proc/13788/task/13789/stat : 13789 (java) R 13785 13785 8640 0 -1 4202560 4743 0 0 0 7 2 0 0 20 0 15 0 406107958 15376699392 18791 33554432000 4194304 4196468 140723744861328 140583422022960 140583442918429 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13790] ppid=13785 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13790/stat : 13790 (java) S 13785 13785 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406107959 15376699392 18791 33554432000 4194304 4196468 140723744861328 140583454481040 140583450248917 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13791] ppid=13785 vsize=15016308 memory=140593326651844 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13791/stat : 13791 (java) S 13785 13785 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406107959 15376699392 18791 33554432000 4194304 4196468 140723744861328 140582911027728 140583450248917 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13792] ppid=13785 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13792/stat : 13792 (java) S 13785 13785 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406107960 15376699392 18791 33554432000 4194304 4196468 140723744861328 140582909974928 140583450248917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13793] ppid=13785 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13793/stat : 13793 (java) S 13785 13785 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406107960 15376699392 18857 33554432000 4194304 4196468 140723744861328 140582908922128 140583450248917 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13794] ppid=13785 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13794/stat : 13794 (java) S 13785 13785 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406107961 15376699392 18857 33554432000 4194304 4196468 140723744861328 140582487796592 140583450249858 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13795] ppid=13785 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13795/stat : 13795 (java) S 13785 13785 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406107961 15376699392 18857 33554432000 4194304 4196468 140723744861328 140581997110816 140583450248917 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13796] ppid=13785 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13796/stat : 13796 (java) S 13785 13785 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406107962 15376699392 18857 33554432000 4194304 4196468 140723744861328 140581728675184 140583450248917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13797] ppid=13785 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13797/stat : 13797 (java) S 13785 13785 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406107964 15376699392 18857 33554432000 4194304 4196468 140723744861328 140581354166608 140583450257307 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13798] ppid=13785 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13798/stat : 13798 (java) S 13785 13785 8640 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 406107964 15376699392 18923 33554432000 4194304 4196468 140723744861328 140582486743408 140583450249858 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13799] ppid=13785 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13799/stat : 13799 (java) S 13785 13785 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406107964 15376699392 18923 33554432000 4194304 4196468 140723744861328 140582485690608 140583450249858 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13800] ppid=13785 vsize=15016308 memory=140593326638720 CPUtime=0.01 cores=1,3,5,7
/proc/13788/task/13800/stat : 13800 (java) S 13785 13785 8640 0 -1 1077944384 478 0 0 0 1 0 0 0 20 0 15 0 406107964 15376699392 18923 33554432000 4194304 4196468 140723744861328 140582484637808 140583450249858 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13801] ppid=13785 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13801/stat : 13801 (java) S 13785 13785 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406107964 15376699392 18923 33554432000 4194304 4196468 140723744861328 140580856260832 140583450248917 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13802] ppid=13785 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13802/stat : 13802 (java) S 13785 13785 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406107965 15376699392 18923 33554432000 4194304 4196468 140723744861328 140582483586224 140583450249858 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15127808 KiB
Current children cumulated memory: 76028 KiB
[startup+0.210711 s]*
/proc/loadavg: 2.01 2.01 2.05 3/234 13802
/proc/meminfo: memFree=21965532/32770624 swapFree=66997112/67108860
[pid=13785] ppid=13782 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/13785/stat : 13785 (scop.sh) S 13782 13785 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406107957 115843072 348 33554432000 4194304 5098028 140725256909840 140725256907096 140497529049724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37818368 140725256913763 140725256914032 140725256914032 140725256916941 0
/proc/13785/statm: 28282 348 296 221 0 87 0
[pid=13788] ppid=13785 vsize=15012696 memory=85496 CPUtime=0.26 cores=1,3,5,7
/proc/13788/stat : 13788 (java) S 13785 13785 8640 0 -1 1077944320 10970 0 0 0 22 4 0 0 20 0 15 0 406107958 15373000704 21374 33554432000 4194304 4196468 140723744861328 140723744843872 140583450238711 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
/proc/13788/statm: 3753174 21374 2921 1 0 3715579 0
[pid=13788/tid=13789] ppid=13785 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/13788/task/13789/stat : 13789 (java) R 13785 13785 8640 0 -1 4202560 8673 0 0 0 17 3 0 0 20 0 15 0 406107958 15373000704 21439 33554432000 4194304 4196468 140723744861328 140583422038096 140583434319198 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13790] ppid=13785 vsize=15012696 memory=396 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13790/stat : 13790 (java) S 13785 13785 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406107959 15373000704 21439 33554432000 4194304 4196468 140723744861328 140583454481040 140583450248917 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13791] ppid=13785 vsize=15012696 memory=288370969478350464 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13791/stat : 13791 (java) S 13785 13785 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406107959 15373000704 21439 33554432000 4194304 4196468 140723744861328 140582911027728 140583450248917 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13792] ppid=13785 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13792/stat : 13792 (java) S 13785 13785 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406107960 15373000704 21439 33554432000 4194304 4196468 140723744861328 140582909974928 140583450248917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13793] ppid=13785 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13793/stat : 13793 (java) S 13785 13785 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406107960 15373000704 21439 33554432000 4194304 4196468 140723744861328 140582908922128 140583450248917 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13794] ppid=13785 vsize=15012696 memory=140593326638720 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13794/stat : 13794 (java) S 13785 13785 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406107961 15373000704 21439 33554432000 4194304 4196468 140723744861328 140582487796592 140583450249858 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13795] ppid=13785 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13795/stat : 13795 (java) S 13785 13785 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406107961 15373000704 21439 33554432000 4194304 4196468 140723744861328 140581997110816 140583450248917 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13796] ppid=13785 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13796/stat : 13796 (java) S 13785 13785 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406107962 15373000704 21439 33554432000 4194304 4196468 140723744861328 140581728675184 140583450248917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13797] ppid=13785 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13797/stat : 13797 (java) S 13785 13785 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406107964 15373000704 21439 33554432000 4194304 4196468 140723744861328 140581354166608 140583450257307 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13798] ppid=13785 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13788/task/13798/stat : 13798 (java) S 13785 13785 8640 0 -1 1077944384 455 0 0 0 1 0 0 0 20 0 15 0 406107964 15373000704 21439 33554432000 4194304 4196468 140723744861328 140582486743408 140583450249858 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13799] ppid=13785 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13799/stat : 13799 (java) S 13785 13785 8640 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 406107964 15373000704 21439 33554432000 4194304 4196468 140723744861328 140582485690608 140583450249858 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13800] ppid=13785 vsize=15012696 memory=140593326638720 CPUtime=0.03 cores=1,3,5,7
/proc/13788/task/13800/stat : 13800 (java) S 13785 13785 8640 0 -1 1077944384 503 0 0 0 3 0 0 0 20 0 15 0 406107964 15373000704 21439 33554432000 4194304 4196468 140723744861328 140582484637808 140583450249858 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13801] ppid=13785 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13801/stat : 13801 (java) S 13785 13785 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406107964 15373000704 21439 33554432000 4194304 4196468 140723744861328 140580856260832 140583450248917 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13802] ppid=13785 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13802/stat : 13802 (java) S 13785 13785 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406107965 15373000704 21439 33554432000 4194304 4196468 140723744861328 140582483586224 140583450249858 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 86888 KiB
[startup+0.312974 s]*
/proc/loadavg: 2.01 2.01 2.05 3/234 13802
/proc/meminfo: memFree=21961872/32770624 swapFree=66997112/67108860
[pid=13785] ppid=13782 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/13785/stat : 13785 (scop.sh) S 13782 13785 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406107957 115843072 348 33554432000 4194304 5098028 140725256909840 140725256907096 140497529049724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37818368 140725256913763 140725256914032 140725256914032 140725256916941 0
/proc/13785/statm: 28282 348 296 221 0 87 0
[pid=13788] ppid=13785 vsize=15012696 memory=90112 CPUtime=0.44 cores=1,3,5,7
/proc/13788/stat : 13788 (java) S 13785 13785 8640 0 -1 1077944320 12030 0 0 0 39 5 0 0 20 0 15 0 406107958 15373000704 22528 33554432000 4194304 4196468 140723744861328 140723744843872 140583450238711 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
/proc/13788/statm: 3753174 22528 3063 1 0 3715579 0
[pid=13788/tid=13789] ppid=13785 vsize=15012696 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/13788/task/13789/stat : 13789 (java) R 13785 13785 8640 0 -1 4202560 9515 0 0 0 26 4 0 0 20 0 15 0 406107958 15373000704 22528 33554432000 4194304 4196468 140723744861328 140583422068784 140583430513923 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13790] ppid=13785 vsize=15012696 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13790/stat : 13790 (java) S 13785 13785 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406107959 15373000704 22528 33554432000 4194304 4196468 140723744861328 140583454481040 140583450248917 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13791] ppid=13785 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13791/stat : 13791 (java) S 13785 13785 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406107959 15373000704 22528 33554432000 4194304 4196468 140723744861328 140582911027728 140583450248917 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13792] ppid=13785 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13792/stat : 13792 (java) S 13785 13785 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406107960 15373000704 22528 33554432000 4194304 4196468 140723744861328 140582909974928 140583450248917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13793] ppid=13785 vsize=15012696 memory=7007700635973428626 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13793/stat : 13793 (java) S 13785 13785 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406107960 15373000704 22528 33554432000 4194304 4196468 140723744861328 140582908922128 140583450248917 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13794] ppid=13785 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13794/stat : 13794 (java) S 13785 13785 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406107961 15373000704 22528 33554432000 4194304 4196468 140723744861328 140582487796592 140583450249858 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13795] ppid=13785 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13795/stat : 13795 (java) S 13785 13785 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406107961 15373000704 22528 33554432000 4194304 4196468 140723744861328 140581997110816 140583450248917 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13796] ppid=13785 vsize=15012696 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13796/stat : 13796 (java) S 13785 13785 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406107962 15373000704 22528 33554432000 4194304 4196468 140723744861328 140581728675184 140583450248917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13797] ppid=13785 vsize=15012696 memory=4426089072227881875 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13797/stat : 13797 (java) S 13785 13785 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406107964 15373000704 22528 33554432000 4194304 4196468 140723744861328 140581354166608 140583450257307 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13798] ppid=13785 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/13788/task/13798/stat : 13798 (java) S 13785 13785 8640 0 -1 1077944384 565 0 0 0 3 0 0 0 20 0 15 0 406107964 15373000704 22528 33554432000 4194304 4196468 140723744861328 140582486743408 140583450249858 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13799] ppid=13785 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13788/task/13799/stat : 13799 (java) S 13785 13785 8640 0 -1 1077944384 67 0 0 0 2 0 0 0 20 0 15 0 406107964 15373000704 22528 33554432000 4194304 4196468 140723744861328 140582485690608 140583450249858 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13800] ppid=13785 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13788/task/13800/stat : 13800 (java) S 13785 13785 8640 0 -1 1077944384 550 0 0 0 7 0 0 0 20 0 15 0 406107964 15373000704 22528 33554432000 4194304 4196468 140723744861328 140582484637808 140583450249858 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13801] ppid=13785 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13801/stat : 13801 (java) S 13785 13785 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406107964 15373000704 22528 33554432000 4194304 4196468 140723744861328 140580856260832 140583450248917 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13802] ppid=13785 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13802/stat : 13802 (java) S 13785 13785 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406107965 15373000704 22528 33554432000 4194304 4196468 140723744861328 140582483586224 140583450249858 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91504 KiB
[startup+0.706409 s]
/proc/loadavg: 2.01 2.01 2.05 3/234 13802
/proc/meminfo: memFree=21937564/32770624 swapFree=66997112/67108860
[pid=13785] ppid=13782 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/13785/stat : 13785 (scop.sh) S 13782 13785 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406107957 115843072 348 33554432000 4194304 5098028 140725256909840 140725256907096 140497529049724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37818368 140725256913763 140725256914032 140725256914032 140725256916941 0
/proc/13785/statm: 28282 348 296 221 0 87 0
[pid=13788] ppid=13785 vsize=15021092 memory=130112 CPUtime=1.02 cores=1,3,5,7
/proc/13788/stat : 13788 (java) S 13785 13785 8640 0 -1 1077944320 19914 0 0 0 94 8 0 0 20 0 15 0 406107958 15381598208 32528 33554432000 4194304 4196468 140723744861328 140723744843872 140583450238711 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
/proc/13788/statm: 3755273 32528 3202 1 0 3716603 0
[pid=13788/tid=13789] ppid=13785 vsize=15021092 memory=2828 CPUtime=0.68 cores=1,3,5,7
/proc/13788/task/13789/stat : 13789 (java) R 13785 13785 8640 0 -1 4202560 16956 0 0 0 62 6 0 0 20 0 15 0 406107958 15381598208 32528 33554432000 4194304 4196468 140723744861328 140583422058240 140583450250646 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13790] ppid=13785 vsize=15021092 memory=676 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13790/stat : 13790 (java) S 13785 13785 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406107959 15381598208 32528 33554432000 4194304 4196468 140723744861328 140583454481040 140583450248917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13791] ppid=13785 vsize=15021092 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13791/stat : 13791 (java) S 13785 13785 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406107959 15381598208 32528 33554432000 4194304 4196468 140723744861328 140582911027728 140583450248917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13792] ppid=13785 vsize=15021092 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13792/stat : 13792 (java) S 13785 13785 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406107960 15381598208 32528 33554432000 4194304 4196468 140723744861328 140582909974928 140583450248917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13793] ppid=13785 vsize=15021092 memory=8488 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13793/stat : 13793 (java) S 13785 13785 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406107960 15381598208 32528 33554432000 4194304 4196468 140723744861328 140582908922128 140583450248917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13794] ppid=13785 vsize=15021092 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13794/stat : 13794 (java) S 13785 13785 8640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 406107961 15381598208 32528 33554432000 4194304 4196468 140723744861328 140582487796592 140583450249858 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13795] ppid=13785 vsize=15021092 memory=1112 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13795/stat : 13795 (java) S 13785 13785 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406107961 15381598208 32528 33554432000 4194304 4196468 140723744861328 140581997110816 140583450248917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13796] ppid=13785 vsize=15021092 memory=1020 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13796/stat : 13796 (java) S 13785 13785 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406107962 15381598208 32528 33554432000 4194304 4196468 140723744861328 140581728675184 140583450248917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13797] ppid=13785 vsize=15021092 memory=5968 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13797/stat : 13797 (java) S 13785 13785 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406107964 15381598208 32528 33554432000 4194304 4196468 140723744861328 140581354166608 140583450257307 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13798] ppid=13785 vsize=15021092 memory=14008 CPUtime=0.06 cores=1,3,5,7
/proc/13788/task/13798/stat : 13798 (java) R 13785 13785 8640 0 -1 1077944384 628 0 0 0 6 0 0 0 20 0 15 0 406107964 15381598208 32528 33554432000 4194304 4196468 140723744861328 140582486743408 140583450249858 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13799] ppid=13785 vsize=15021092 memory=2124 CPUtime=0.08 cores=1,3,5,7
/proc/13788/task/13799/stat : 13799 (java) R 13785 13785 8640 0 -1 1077944384 301 0 0 0 8 0 0 0 20 0 15 0 406107964 15381598208 32528 33554432000 4194304 4196468 140723744861328 140582485680400 140583450248917 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13800] ppid=13785 vsize=15021092 memory=20540 CPUtime=0.16 cores=1,3,5,7
/proc/13788/task/13800/stat : 13800 (java) R 13785 13785 8640 0 -1 4202560 693 0 0 0 16 0 0 0 20 0 15 0 406107964 15381598208 32528 33554432000 4194304 4196468 140723744861328 140582484637808 140583450250646 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13801] ppid=13785 vsize=15021092 memory=140591459550362 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13801/stat : 13801 (java) S 13785 13785 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406107964 15381598208 32528 33554432000 4194304 4196468 140723744861328 140580856260832 140583450248917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13802] ppid=13785 vsize=15021092 memory=140593204332304 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13802/stat : 13802 (java) S 13785 13785 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406107965 15381598208 32528 33554432000 4194304 4196468 140723744861328 140582483586224 140583450249858 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131504 KiB
[startup+1.50079 s]
/proc/loadavg: 2.01 2.01 2.05 4/234 13802
/proc/meminfo: memFree=21907476/32770624 swapFree=66997112/67108860
[pid=13785] ppid=13782 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/13785/stat : 13785 (scop.sh) S 13782 13785 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406107957 115843072 348 33554432000 4194304 5098028 140725256909840 140725256907096 140497529049724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37818368 140725256913763 140725256914032 140725256914032 140725256916941 0
/proc/13785/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
/proc/13788/task/13790/stat : 13790 (java) S 13785 13785 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406107959 15387959296 43893 33554432000 4194304 4196468 140723744861328 140583454481040 140583450248917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13791] ppid=13785 vsize=15027304 memory=7597685182856913236 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13791/stat : 13791 (java) S 13785 13785 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406107959 15387959296 43893 33554432000 4194304 4196468 140723744861328 140582911027728 140583450248917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13792] ppid=13785 vsize=15027304 memory=130112 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13792/stat : 13792 (java) S 13785 13785 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406107960 15387959296 43893 33554432000 4194304 4196468 140723744861328 140582909974928 140583450248917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13793] ppid=13785 vsize=15027304 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13793/stat : 13793 (java) S 13785 13785 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406107960 15387959296 43893 33554432000 4194304 4196468 140723744861328 140582908922128 140583450248917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13794] ppid=13785 vsize=15027304 memory=676 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13794/stat : 13794 (java) S 13785 13785 8640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 406107961 15387959296 43893 33554432000 4194304 4196468 140723744861328 140582487796592 140583450249858 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13795] ppid=13785 vsize=15027304 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13795/stat : 13795 (java) S 13785 13785 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406107961 15387959296 43893 33554432000 4194304 4196468 140723744861328 140581997110816 140583450248917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13796] ppid=13785 vsize=15027304 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13796/stat : 13796 (java) S 13785 13785 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406107962 15387959296 43893 33554432000 4194304 4196468 140723744861328 140581728675184 140583450248917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13797] ppid=13785 vsize=15027304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13797/stat : 13797 (java) S 13785 13785 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406107964 15387959296 43893 33554432000 4194304 4196468 140723744861328 140581354166608 140583450257307 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13798] ppid=13785 vsize=15027304 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/13788/task/13798/stat : 13798 (java) S 13785 13785 8640 0 -1 1077944384 1062 0 0 0 30 0 0 0 20 0 15 0 406107964 15387959296 43893 33554432000 4194304 4196468 140723744861328 140582486743408 140583450249858 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13799] ppid=13785 vsize=15027304 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/13788/task/13799/stat : 13799 (java) S 13785 13785 8640 0 -1 1077944384 620 0 0 0 34 0 0 0 20 0 15 0 406107964 15387959296 43893 33554432000 4194304 4196468 140723744861328 140582485690608 140583450249858 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13800] ppid=13785 vsize=15027304 memory=10 CPUtime=0.71 cores=1,3,5,7
/proc/13788/task/13800/stat : 13800 (java) R 13785 13785 8640 0 -1 4202560 2225 0 0 0 70 1 0 0 20 0 15 0 406107964 15387959296 43893 33554432000 4194304 4196468 140723744861328 140582484630672 140583430555391 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13801] ppid=13785 vsize=15027304 memory=12 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13801/stat : 13801 (java) S 13785 13785 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406107964 15387959296 43893 33554432000 4194304 4196468 140723744861328 140580856260832 140583450248917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13802] ppid=13785 vsize=15027304 memory=30 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13802/stat : 13802 (java) S 13785 13785 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406107965 15387959296 43893 33554432000 4194304 4196468 140723744861328 140582483586224 140583450249858 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 176964 KiB
[startup+2.64612 s]
# the end of solver process 13785 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.89062 s, system=0.223525 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.6009 s]
/proc/loadavg: 2.01 2.01 2.05 4/234 13802
/proc/meminfo: memFree=21907476/32770624 swapFree=66997112/67108860
[pid=13785] ppid=13782 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/13785/stat : 13785 (scop.sh) S 13782 13785 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 406107957 115843072 348 33554432000 4194304 5098028 140725256909840 140725256907096 140497529049724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37818368 140725256913763 140725256914032 140725256914032 140725256916941 0
/proc/13785/statm: 28282 348 296 221 0 87 0
[pid=13788] ppid=13785 vsize=15027304 memory=190548 CPUtime=3.18 cores=1,3,5,7
/proc/13788/stat : 13788 (java) S 13785 13785 8640 0 -1 1077944320 23725 0 0 0 307 11 0 0 20 0 15 0 406107958 15387959296 47637 33554432000 4194304 4196468 140723744861328 140723744843872 140583450238711 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
/proc/13788/statm: 3756826 47637 3258 1 0 3717627 0
[pid=13788/tid=13789] ppid=13785 vsize=15027304 memory=6791534058613427641 CPUtime=1.57 cores=1,3,5,7
/proc/13788/task/13789/stat : 13789 (java) R 13785 13785 8640 0 -1 4202560 18378 0 0 0 149 8 0 0 20 0 15 0 406107958 15387959296 47637 33554432000 4194304 4196468 140723744861328 140583422072160 140583450250646 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13790] ppid=13785 vsize=15027304 memory=7525067911763940452 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13790/stat : 13790 (java) S 13785 13785 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406107959 15387959296 47637 33554432000 4194304 4196468 140723744861328 140583454481040 140583450248917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13791] ppid=13785 vsize=15027304 memory=7308028748780492139 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13791/stat : 13791 (java) S 13785 13785 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406107959 15387959296 47637 33554432000 4194304 4196468 140723744861328 140582911027728 140583450248917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13792] ppid=13785 vsize=15027304 memory=6091497044128932006 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13792/stat : 13792 (java) S 13785 13785 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406107960 15387959296 47637 33554432000 4194304 4196468 140723744861328 140582909974928 140583450248917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13793] ppid=13785 vsize=15027304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13793/stat : 13793 (java) S 13785 13785 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406107960 15387959296 47637 33554432000 4194304 4196468 140723744861328 140582908922128 140583450248917 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13794] ppid=13785 vsize=15027304 memory=281186408841104 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13794/stat : 13794 (java) S 13785 13785 8640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 406107961 15387959296 47637 33554432000 4194304 4196468 140723744861328 140582487796592 140583450249858 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13795] ppid=13785 vsize=15027304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13795/stat : 13795 (java) S 13785 13785 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406107961 15387959296 47637 33554432000 4194304 4196468 140723744861328 140581997110816 140583450248917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13796] ppid=13785 vsize=15027304 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13796/stat : 13796 (java) S 13785 13785 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406107962 15387959296 47637 33554432000 4194304 4196468 140723744861328 140581728675184 140583450248917 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13797] ppid=13785 vsize=15027304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13797/stat : 13797 (java) S 13785 13785 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406107964 15387959296 47637 33554432000 4194304 4196468 140723744861328 140581354166608 140583450257307 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13798] ppid=13785 vsize=15027304 memory=6944652177228980320 CPUtime=0.4 cores=1,3,5,7
/proc/13788/task/13798/stat : 13798 (java) R 13785 13785 8640 0 -1 4202560 1081 0 0 0 40 0 0 0 20 0 15 0 406107964 15387959296 47637 33554432000 4194304 4196468 140723744861328 140582486734736 140583433634930 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13799] ppid=13785 vsize=15027304 memory=8740 CPUtime=0.43 cores=1,3,5,7
/proc/13788/task/13799/stat : 13799 (java) R 13785 13785 8640 0 -1 4202560 655 0 0 0 43 0 0 0 20 0 15 0 406107964 15387959296 47637 33554432000 4194304 4196468 140723744861328 140582485690608 140583434638468 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13800] ppid=13785 vsize=15027304 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/13788/task/13800/stat : 13800 (java) S 13785 13785 8640 0 -1 1077944384 2277 0 0 0 73 1 0 0 20 0 15 0 406107964 15387959296 47637 33554432000 4194304 4196468 140723744861328 140582484637808 140583450249858 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13801] ppid=13785 vsize=15027304 memory=937 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13801/stat : 13801 (java) S 13785 13785 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406107964 15387959296 47637 33554432000 4194304 4196468 140723744861328 140580856260832 140583450248917 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
[pid=13788/tid=13802] ppid=13785 vsize=15027304 memory=11 CPUtime=0 cores=1,3,5,7
/proc/13788/task/13802/stat : 13802 (java) S 13785 13785 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406107965 15387959296 47637 33554432000 4194304 4196468 140723744861328 140582483586224 140583450249858 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17485824 140723744867113 140723744867482 140723744867482 140723744870351 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 191940 KiB
[startup+2.40077 s]
/proc/loadavg: 2.01 2.01 2.05 4/234 13817
/proc/meminfo: memFree=21989376/32770624 swapFree=66997112/67108860
[pid=13785] ppid=13782 vsize=113128 memory=1476 CPUtime=3.72 cores=1,3,5,7
/proc/13785/stat : 13785 (scop.sh) S 13782 13785 8640 0 -1 4202496 582 25306 0 0 0 0 359 13 20 0 1 0 406107957 115843072 369 33554432000 4194304 5098028 140725256909840 140725256906584 140497529049724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37818368 140725256913763 140725256914032 140725256914032 140725256916941 0
/proc/13785/statm: 28282 369 311 221 0 87 0
[pid=13803] ppid=13785 vsize=7408652 memory=97460 CPUtime=0.82 cores=1,3,5,7
/proc/13803/stat : 13803 (java) S 13785 13785 8640 0 -1 1077944320 18217 0 0 0 76 6 0 0 20 0 15 0 406108136 7586459648 24365 33554432000 4194304 4196468 140721595255440 140721595237984 140111480270583 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
/proc/13803/statm: 1852163 24365 3095 1 0 1814042 0
[pid=13803/tid=13804] ppid=13785 vsize=7408652 memory=237780 CPUtime=0.59 cores=1,3,5,7
/proc/13803/task/13804/stat : 13804 (java) R 13785 13785 8640 0 -1 4202560 15883 0 0 0 54 5 0 0 20 0 15 0 406108137 7586459648 24365 33554432000 4194304 4196468 140721595255440 140111452097520 140111464351070 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
[pid=13803/tid=13805] ppid=13785 vsize=7408652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13803/task/13805/stat : 13805 (java) S 13785 13785 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406108138 7586459648 24365 33554432000 4194304 4196468 140721595255440 140111484513040 140111480280789 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
[pid=13803/tid=13806] ppid=13785 vsize=7408652 memory=67184 CPUtime=0 cores=1,3,5,7
/proc/13803/task/13806/stat : 13806 (java) S 13785 13785 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406108138 7586459648 24365 33554432000 4194304 4196468 140721595255440 140111298669456 140111480280789 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
[pid=13803/tid=13807] ppid=13785 vsize=7408652 memory=281186409167712 CPUtime=0 cores=1,3,5,7
/proc/13803/task/13807/stat : 13807 (java) S 13785 13785 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406108138 7586459648 24365 33554432000 4194304 4196468 140721595255440 140111297616912 140111480280789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
[pid=13803/tid=13808] ppid=13785 vsize=7408652 memory=7164776672935570020 CPUtime=0 cores=1,3,5,7
/proc/13803/task/13808/stat : 13808 (java) S 13785 13785 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406108138 7586459648 24365 33554432000 4194304 4196468 140721595255440 140110962785424 140111480280789 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
[pid=13803/tid=13809] ppid=13785 vsize=7408652 memory=5866880144662091115 CPUtime=0 cores=1,3,5,7
/proc/13803/task/13809/stat : 13809 (java) S 13785 13785 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406108139 7586459648 24365 33554432000 4194304 4196468 140721595255440 140110859433968 140111480281730 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
[pid=13803/tid=13810] ppid=13785 vsize=7408652 memory=8026371554821035625 CPUtime=0 cores=1,3,5,7
/proc/13803/task/13810/stat : 13810 (java) S 13785 13785 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406108140 7586459648 24365 33554432000 4194304 4196468 140721595255440 140110423122848 140111480280789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
[pid=13803/tid=13811] ppid=13785 vsize=7408652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13803/task/13811/stat : 13811 (java) S 13785 13785 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406108140 7586459648 24365 33554432000 4194304 4196468 140721595255440 140110154687472 140111480280789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
[pid=13803/tid=13812] ppid=13785 vsize=7408652 memory=281186408777872 CPUtime=0 cores=1,3,5,7
/proc/13803/task/13812/stat : 13812 (java) S 13785 13785 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406108142 7586459648 24365 33554432000 4194304 4196468 140721595255440 140109780179152 140111480289179 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
[pid=13803/tid=13813] ppid=13785 vsize=7408652 memory=3472468722099540695 CPUtime=0.04 cores=1,3,5,7
/proc/13803/task/13813/stat : 13813 (java) S 13785 13785 8640 0 -1 1077944384 433 0 0 0 4 0 0 0 20 0 15 0 406108142 7586459648 24365 33554432000 4194304 4196468 140721595255440 140110858381808 140111480281730 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
[pid=13803/tid=13814] ppid=13785 vsize=7408652 memory=-6368199152461293614 CPUtime=0.04 cores=1,3,5,7
/proc/13803/task/13814/stat : 13814 (java) S 13785 13785 8640 0 -1 1077944384 211 0 0 0 4 0 0 0 20 0 15 0 406108142 7586459648 24365 33554432000 4194304 4196468 140721595255440 140110857329264 140111480281730 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
[pid=13803/tid=13815] ppid=13785 vsize=7408652 memory=6944656592455360604 CPUtime=0.13 cores=1,3,5,7
/proc/13803/task/13815/stat : 13815 (java) S 13785 13785 8640 0 -1 1077944384 362 0 0 0 13 0 0 0 20 0 15 0 406108142 7586459648 24365 33554432000 4194304 4196468 140721595255440 140110856276720 140111480281730 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
[pid=13803/tid=13816] ppid=13785 vsize=7408652 memory=6944656592455088490 CPUtime=0 cores=1,3,5,7
/proc/13803/task/13816/stat : 13816 (java) S 13785 13785 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406108143 7586459648 24365 33554432000 4194304 4196468 140721595255440 140109282274400 140111480280789 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
[pid=13803/tid=13817] ppid=13785 vsize=7408652 memory=6645459911560372124 CPUtime=0 cores=1,3,5,7
/proc/13803/task/13817/stat : 13817 (java) S 13785 13785 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406108143 7586459648 24365 33554432000 4194304 4196468 140721595255440 140110855223600 140111480281730 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
Current children cumulated CPU time: 4.54 s
Current children cumulated vsize: 7521780 KiB
Current children cumulated memory: 98936 KiB
[startup+2.60066 s]
/proc/loadavg: 2.01 2.01 2.05 4/234 13817
/proc/meminfo: memFree=21989376/32770624 swapFree=66997112/67108860
[pid=13785] ppid=13782 vsize=113128 memory=1476 CPUtime=3.72 cores=1,3,5,7
/proc/13785/stat : 13785 (scop.sh) S 13782 13785 8640 0 -1 4202496 582 25306 0 0 0 0 359 13 20 0 1 0 406107957 115843072 369 33554432000 4194304 5098028 140725256909840 140725256906584 140497529049724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37818368 140725256913763 140725256914032 140725256914032 140725256916941 0
/proc/13785/statm: 28282 369 311 221 0 87 0
[pid=13803] ppid=13785 vsize=7871828 memory=118980 CPUtime=1.28 cores=1,3,5,7
/proc/13803/stat : 13803 (java) S 13785 13785 8640 0 -1 1077944320 20570 1202 0 0 121 7 0 0 20 0 17 0 406108136 8060751872 29745 33554432000 4194304 4196468 140721595255440 140721595237984 140111480270583 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
/proc/13803/statm: 1967957 29745 3213 1 0 1929301 0
[pid=13803/tid=13804] ppid=13785 vsize=7871828 memory=158148 CPUtime=0.77 cores=1,3,5,7
/proc/13803/task/13804/stat : 13804 (java) R 13785 13785 8640 0 -1 4202560 17418 1202 0 0 71 6 0 0 20 0 17 0 406108137 8060751872 29745 33554432000 4194304 4196468 140721595255440 140111452108560 140111480292509 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
[pid=13803/tid=13805] ppid=13785 vsize=7871828 memory=15260333174426011 CPUtime=0 cores=1,3,5,7
/proc/13803/task/13805/stat : 13805 (java) S 13785 13785 8640 0 -1 1077944384 1 1202 0 0 0 0 0 0 20 0 17 0 406108138 8060751872 29745 33554432000 4194304 4196468 140721595255440 140111484513040 140111480280789 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
[pid=13803/tid=13806] ppid=13785 vsize=7871828 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13803/task/13806/stat : 13806 (java) S 13785 13785 8640 0 -1 1077944384 1 1202 0 0 0 0 0 0 20 0 17 0 406108138 8060751872 29745 33554432000 4194304 4196468 140721595255440 140111298669456 140111480280789 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
[pid=13803/tid=13807] ppid=13785 vsize=7871828 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/13803/task/13807/stat : 13807 (java) S 13785 13785 8640 0 -1 1077944384 1 1202 0 0 0 0 0 0 20 0 17 0 406108138 8060751872 29745 33554432000 4194304 4196468 140721595255440 140111297616912 140111480280789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
[pid=13803/tid=13808] ppid=13785 vsize=7871828 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13803/task/13808/stat : 13808 (java) S 13785 13785 8640 0 -1 1077944384 2 1202 0 0 0 0 0 0 20 0 17 0 406108138 8060751872 29745 33554432000 4194304 4196468 140721595255440 140110962785424 140111480280789 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
[pid=13803/tid=13809] ppid=13785 vsize=7871828 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13803/task/13809/stat : 13809 (java) S 13785 13785 8640 0 -1 1077944384 6 1202 0 0 0 0 0 0 20 0 17 0 406108139 8060751872 29745 33554432000 4194304 4196468 140721595255440 140110859433968 140111480281730 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
[pid=13803/tid=13810] ppid=13785 vsize=7871828 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13803/task/13810/stat : 13810 (java) S 13785 13785 8640 0 -1 1077944384 13 1202 0 0 0 0 0 0 20 0 17 0 406108140 8060751872 29745 33554432000 4194304 4196468 140721595255440 140110423122848 140111480280789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
[pid=13803/tid=13811] ppid=13785 vsize=7871828 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13803/task/13811/stat : 13811 (java) S 13785 13785 8640 0 -1 1077944384 1 1202 0 0 0 0 0 0 20 0 17 0 406108140 8060751872 29745 33554432000 4194304 4196468 140721595255440 140110154687472 140111480280789 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
[pid=13803/tid=13812] ppid=13785 vsize=7871828 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13803/task/13812/stat : 13812 (java) S 13785 13785 8640 0 -1 1077944384 3 1202 0 0 0 0 0 0 20 0 17 0 406108142 8060751872 29745 33554432000 4194304 4196468 140721595255440 140109780179152 140111480289179 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
[pid=13803/tid=13813] ppid=13785 vsize=7871828 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/13803/task/13813/stat : 13813 (java) S 13785 13785 8640 0 -1 1077944384 649 1202 0 0 10 0 0 0 20 0 17 0 406108142 8060751872 29745 33554432000 4194304 4196468 140721595255440 140110858381808 140111480281730 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
[pid=13803/tid=13814] ppid=13785 vsize=7871828 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/13803/task/13814/stat : 13814 (java) S 13785 13785 8640 0 -1 1077944384 413 1202 0 0 12 0 0 0 20 0 17 0 406108142 8060751872 29745 33554432000 4194304 4196468 140721595255440 140110857329264 140111480281730 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
[pid=13803/tid=13815] ppid=13785 vsize=7871828 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/13803/task/13815/stat : 13815 (java) S 13785 13785 8640 0 -1 1077944384 596 1202 0 0 22 0 0 0 20 0 17 0 406108142 8060751872 29745 33554432000 4194304 4196468 140721595255440 140110856276720 140111480281730 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
[pid=13803/tid=13816] ppid=13785 vsize=7871828 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13803/task/13816/stat : 13816 (java) S 13785 13785 8640 0 -1 1077944384 3 1202 0 0 0 0 0 0 20 0 17 0 406108143 8060751872 29745 33554432000 4194304 4196468 140721595255440 140109282274400 140111480280789 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
[pid=13803/tid=13817] ppid=13785 vsize=7871828 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/13803/task/13817/stat : 13817 (java) S 13785 13785 8640 0 -1 1077944384 1 1202 0 0 0 0 0 0 20 0 17 0 406108143 8060751872 29745 33554432000 4194304 4196468 140721595255440 140110855223600 140111480281730 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23805952 140721595257851 140721595258010 140721595258010 140721595260879 0
Current children cumulated CPU time: 5 s
Current children cumulated vsize: 7984956 KiB
Current children cumulated memory: 120456 KiB
Child status: 0
Real time (s): 2.64618
CPU time (s): 5.11415
CPU user time (s): 4.89062
CPU system time (s): 0.223525
CPU usage (%): 193.265
Max. virtual memory (cumulated for all children) (KiB): 15140432
Max. memory (cumulated for all children) (KiB): 215028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.89062
system time used= 0.223525
maximum resident set size= 220300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47877
page faults= 0
swaps= 0
block input operations= 0
block output operations= 488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5168
involuntary context switches= 18
# summary of solver processes directly reported to runsolver:
# pid: 13785
# total CPU time (s): 5.11415
# total CPU user time (s): 4.89062
# total CPU system time (s): 0.223525
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037369 second user time and 0.073754 second system time
The end