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-4669-serial-file.bin HOME/instance-4387852-1568291468.xml
0.66/0.52
0.66/0.52 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Thu Sep 12 14:30:27 CEST 2019
0.66/0.55 c PID: 4672
0.66/0.55 c IP: 172.20.3.145
0.66/0.55 c HOST: node145.alineos.net
0.66/0.56 c (0,0) Parsing Begin
12.26/6.81 c (6,6) Parsing End
12.26/6.82 c (6,6) CSP: 902 int (0 aux), 0 bool (0 aux), 102376 ctr, max domain size 202501
12.26/6.82 c (6,6) Heap : 624 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
12.26/6.82 c (6,6) Constraint Name Generate Begin
12.60/7.08 c (6,6) Ctr:HOME/instance-4387852-1568291468.xml,Add:Le:Num:Var
12.60/7.08 c (6,6) Constraint Name Generate End
12.60/7.08 c (6,6) Heap : 679 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
12.60/7.08 c (6,6) CSP to CSPinCNF Begin
14.44/7.70 c (7,7) translated 10238 (10%) constraints
14.99/7.91 c (7,7) translated 20476 (20%) constraints
15.10/8.07 c (7,7) translated 30713 (30%) constraints
15.29/8.24 c (7,7) translated 40951 (40%) constraints
15.49/8.40 c (7,7) translated 51188 (50%) constraints
15.59/8.56 c (8,7) translated 61426 (60%) constraints
15.85/8.72 c (8,8) translated 71664 (70%) constraints
15.95/8.88 c (8,8) translated 81901 (80%) constraints
16.16/9.03 c (8,8) translated 92139 (90%) constraints
16.37/9.20 c (8,8) translated 102376 (100%) constraints
16.37/9.20 c (8,8) ===========================================
16.86/9.41 c (8,8) Hybrid: #OE=0, #LE=902
16.86/9.41 c (8,8) Hybrid
16.86/9.41 c (8,8) ===========================================
17.06/9.58 c (9,8) translated 10238 (10%) constraints
17.57/9.71 c (9,9) translated 20476 (20%) constraints
17.79/9.82 c (9,9) translated 30713 (30%) constraints
17.98/9.93 c (9,9) translated 40951 (40%) constraints
18.20/10.05 c (9,9) translated 51188 (50%) constraints
18.40/10.16 c (9,9) translated 61426 (60%) constraints
18.57/10.27 c (9,9) translated 71664 (70%) constraints
18.67/10.39 c (9,9) translated 81901 (80%) constraints
18.87/10.50 c (9,9) translated 92139 (90%) constraints
18.97/10.61 c (10,9) translated 102376 (100%) constraints
18.97/10.62 c (10,9) CSP to CSPinCNF End
18.97/10.62 c (10,9) CSP: 902 int (0 aux), 0 bool (0 aux), 102376 ctr, max domain size 202501
18.97/10.62 c (10,9) Heap : 1881 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
18.97/10.62 c (10,9) CSPinCNF Propagation Begin
19.59/10.96 c (10,10) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
19.59/10.96 c (10,10) CSPinCNF Propagation End
19.59/10.96 c (10,10) CSP: 902 int (0 aux), 0 bool (0 aux), 102376 ctr, max domain size 202501
19.59/10.96 c (10,10) Heap : 2154 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
19.97/11.12 c (10,10) Hybrid: #OE=0, #LE=902
19.97/11.12 c (10,10) Simplify CSPinCNF Begin
20.15/11.26 c (10,10) Simplify CSPinCNF End
20.15/11.26 c (10,10) CSP: 902 int (0 aux), 0 bool (0 aux), 102376 ctr, max domain size 202501
20.15/11.26 c (10,10) Heap : 2318 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
20.15/11.26 c (10,10) Calculate Precise Domain Begin
20.15/11.26 c (10,10) 0 values are removed by re-calculation
20.15/11.26 c (10,10) Calculate Precise Domain End
20.15/11.26 c (10,10) CSP: 902 int (0 aux), 0 bool (0 aux), 102376 ctr, max domain size 202501
20.15/11.26 c (10,10) Heap : 2318 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
20.15/11.26 c (10,10) CSPinCNF to SatSolver Begin
26.20/14.73 c (14,13) 10238 (10 %) CSP clauses are encoded (0 SAT variables, 1319732 SAT clauses)
29.15/17.57 c (17,16) 20476 (20 %) CSP clauses are encoded (0 SAT variables, 2568768 SAT clauses)
32.16/20.73 c (20,19) 30713 (30 %) CSP clauses are encoded (0 SAT variables, 3817682 SAT clauses)
35.07/23.57 c (23,22) 40951 (40 %) CSP clauses are encoded (0 SAT variables, 5066718 SAT clauses)
37.89/26.95 c (26,25) 51188 (50 %) CSP clauses are encoded (0 SAT variables, 6315632 SAT clauses)
40.94/30.30 c (29,28) 61426 (60 %) CSP clauses are encoded (0 SAT variables, 7564668 SAT clauses)
44.04/33.25 c (32,30) 71664 (70 %) CSP clauses are encoded (0 SAT variables, 8813704 SAT clauses)
46.86/36.54 c (36,33) 81901 (80 %) CSP clauses are encoded (0 SAT variables, 10062618 SAT clauses)
49.69/39.35 c (38,36) 92139 (90 %) CSP clauses are encoded (0 SAT variables, 11311654 SAT clauses)
52.56/42.41 c (41,39) 102376 (100 %) CSP clauses are encoded (0 SAT variables, 12560568 SAT clauses)
52.56/42.41 c (41,39) CSPinCNF to SatSolver End
52.56/42.41 c (41,39) Heap : 1115 MiB used (max 11042 MiB), NonHeap : 28 MiB used (max 0 MiB)
52.56/42.41 c (41,39) 5470960 bool, 12560690 clause
52.56/42.41 c (41,39) Export Begin
53.70/43.14 c (42,40) Export to HOME/scop-4669-serial-file.bin
53.70/43.14 c (42,40) Export End
53.70/43.15 c (42,40) Export File Size: 2.67 MB
53.70/43.15 c (42,40) 6,6,10,10,10,10,41,STOP-AFTER(DIMACS)
53.70/43.15 c END-Prog: Thu Sep 12 14:31:09 CEST 2019
53.70/43.18 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-4669-serial-file.bin
53.79/43.64 c (0,0) Read Serial File Begin
53.79/43.64 c (0,0) HOME/scop-4669-serial-file.bin
55.86/44.54 c (0,0) Read Serial File End
55.86/44.56
55.86/44.56 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
55.86/44.56 (Solving Process)
55.86/44.56
55.86/44.58 c BEGIN-Prog: Thu Sep 12 14:31:11 CEST 2019
55.86/44.58 c PID: 4690
55.86/44.58 c IP: 172.20.3.145
55.86/44.58 c HOST: node145.alineos.net
55.86/44.58 c (1,1) SatSolver.solve Begin
55.86/44.58 c (1,1) HOME/cryptominisat5 HOME/instance-4387852-1568291468.xml-scop-4672.cnf
56.12/44.61 c (1,0) c Outputting solution to console
56.12/44.61 c (1,0) c CryptoMiniSat version 5.6.8
56.12/44.61 c (1,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
56.12/44.61 c (1,0) c CMS SHA revision GIT-notfound
56.12/44.61 c (1,0) c CMS is MIT licensed
56.12/44.61 c (1,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
56.12/44.61 c (1,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
56.12/44.61 c (1,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387852-1568291468.xml-scop-4672.cnf
56.12/44.61 c (1,0) c Reading file 'HOME/instance-4387852-1568291468.xml-scop-4672.cnf'
56.12/44.61 c (1,0) c -- header says num vars: 5470960
56.12/44.61 c (1,0) c -- header says num clauses: 12560690
60.76/49.19 c (5,0) c -- clauses added: 12560690
60.76/49.19 c (5,0) c -- xor clauses added: 0
60.76/49.19 c (5,0) c -- vars added 5470960
60.76/49.19 c (5,0) c Parsing time: 4.14 s
71.97/60.37 c (16,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
71.97/60.38 c (16,0) c [distill] long cls tried: 56/41 cl-short:43 lit-r:8 T: 0.01 T-out: N T-r: 99.97%
73.07/61.46 c (17,0) c ------- FINAL TOTAL SEARCH STATS ---------
73.07/61.46 c (17,0) c UIP search time : 11.95 (74.22 % time)
73.07/61.46 c (17,0) c restarts : 2 (67.00 confls per restart)
73.07/61.46 c (17,0) c blocked restarts : 0 (0.00 per normal restart)
73.07/61.46 c (17,0) c time : 11.95
73.07/61.46 c (17,0) c decisions : 615 (0.00 % random)
73.07/61.46 c (17,0) c propagations : 46267017
73.07/61.47 c (17,0) c decisions/conflicts : 4.59
73.07/61.47 c (17,0) c conflicts : 134 (11.21 / sec)
73.07/61.47 c (17,0) c conf lits non-minim : 835 (6.23 lit/confl)
73.07/61.47 c (17,0) c conf lits final : 5.70
73.07/61.47 c (17,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
73.07/61.47 c (17,0) c red which0 : 74 (55.22 % of confl)
73.07/61.47 c (17,0) c props/decision : 0.00
73.07/61.47 c (17,0) c props/conflict : 0.00
73.07/61.47 c (17,0) c 0-depth assigns : 104658 (1.91 % vars)
73.07/61.47 c (17,0) c 0-depth assigns by CNF : 103278 (1.89 % vars)
73.07/61.47 c (17,0) c reduceDB time : 0.00 (0.00 % time)
73.07/61.47 c (17,0) c OccSimplifier time : 0.00 (0.00 % time)
73.07/61.47 c (17,0) c [occur] 0.00 is overhead
73.07/61.47 c (17,0) c [occur] link-in T: 0.00 cleanup T: 0.00
73.07/61.47 c (17,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
73.07/61.47 c (17,0) c SCC time : 0.00 (0.00 % time)
73.07/61.47 c (17,0) c [scc] new: 0 BP 0M T: 0.00
73.07/61.47 c (17,0) c vrep replace time : 0.00 (0.00 % time)
73.07/61.47 c (17,0) c vrep tree roots : 0
73.07/61.47 c (17,0) c vrep trees' crown : 0 (0.00 leafs/tree)
73.07/61.47 c (17,0) c distill time : 0.01 (0.04 % time)
73.07/61.47 c (17,0) c strength cache-irred time: 0.00 (0.00 % time)
73.07/61.47 c (17,0) c strength cache-red time : 0.00 (0.00 % time)
73.07/61.47 c (17,0) c Conflicts in UIP : 134 (8.32 confl/time_this_thread)
73.07/61.47 c (17,0) c Mem used : 1882.40 MB
73.07/61.47 c (17,0) c Total time (this thread) : 16.10
73.07/61.47 c (17,0) s UNSATISFIABLE
56.30/62.03 c (18,1) SatSolver.solve End
56.30/62.03 c (18,1) Heap : 184 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
56.30/62.03 c (18,1) Show results Begin
56.30/62.03 s UNSATISFIABLE
56.30/62.03 c (18,1) Show results End
56.30/62.03 c (18,1) Heap : 184 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
56.30/62.03 c (18,1) 18,18,STOP-AFTER(ALL)
56.30/62.03 c END-Prog: Thu Sep 12 14:31:28 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 (6640 MiB free)
memory of node 1: 16384 MiB (8825 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387852-1568291468/watcher-4387852-1568291468 -o /tmp/evaluation-result-4387852-1568291468/solver-4387852-1568291468 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568289720-3778 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387852-1568291468.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=4669, runsolver pid=4666
[startup+0.100136 s]*
/proc/loadavg: 2.39 3.36 3.72 3/236 4686
/proc/meminfo: memFree=15779432/32770624 swapFree=66997568/67108860
[pid=4669] ppid=4666 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4669/stat : 4669 (scop.sh) S 4666 4669 3746 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405083300 115843072 349 33554432000 4194304 5098028 140734733219568 140734733216824 139758721741436 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13565952 140734733226851 140734733227120 140734733227120 140734733230029 0
/proc/4669/statm: 28282 349 296 221 0 87 0
[pid=4672] ppid=4669 vsize=15012696 memory=70912 CPUtime=0.12 cores=1,3,5,7
/proc/4672/stat : 4672 (java) S 4669 4669 3746 0 -1 1077944320 6974 0 0 0 10 2 0 0 20 0 15 0 405083300 15373000704 17728 33554432000 4194304 4196468 140722007001376 140722006983920 140533534408439 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
/proc/4672/statm: 3753174 17728 2914 1 0 3715579 0
[pid=4672/tid=4673] ppid=4669 vsize=15012696 memory=-2915664431881770398 CPUtime=0.08 cores=1,3,5,7
/proc/4672/task/4673/stat : 4673 (java) R 4669 4669 3746 0 -1 4202560 4772 0 0 0 7 1 0 0 20 0 15 0 405083300 15373000704 17728 33554432000 4194304 4196468 140722007001376 140533506202344 140533518488926 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4674] ppid=4669 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4674/stat : 4674 (java) S 4669 4669 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405083302 15373000704 17728 33554432000 4194304 4196468 140722007001376 140533538651280 140533534418645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4675] ppid=4669 vsize=15012696 memory=139804955838080 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4675/stat : 4675 (java) S 4669 4669 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405083302 15373000704 17728 33554432000 4194304 4196468 140722007001376 140533352807440 140533534418645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4676] ppid=4669 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4676/stat : 4676 (java) S 4669 4669 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405083302 15373000704 17728 33554432000 4194304 4196468 140722007001376 140533351754640 140533534418645 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4677] ppid=4669 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4677/stat : 4677 (java) S 4669 4669 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405083302 15373000704 17728 33554432000 4194304 4196468 140722007001376 140533350701840 140533534418645 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4678] ppid=4669 vsize=15012696 memory=139804955838080 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4678/stat : 4678 (java) S 4669 4669 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405083303 15373000704 17728 33554432000 4194304 4196468 140722007001376 140532504283504 140533534419586 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4679] ppid=4669 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4679/stat : 4679 (java) S 4669 4669 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405083304 15373000704 17728 33554432000 4194304 4196468 140722007001376 140532135224352 140533534418645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4680] ppid=4669 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4680/stat : 4680 (java) S 4669 4669 3746 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405083304 15373000704 17728 33554432000 4194304 4196468 140722007001376 140532001002352 140533534418645 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4681] ppid=4669 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4681/stat : 4681 (java) S 4669 4669 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405083306 15373000704 17728 33554432000 4194304 4196468 140722007001376 140531626497872 140533534427035 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4682] ppid=4669 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4682/stat : 4682 (java) S 4669 4669 3746 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 405083306 15373000704 17728 33554432000 4194304 4196468 140722007001376 140532503231344 140533534419586 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4683] ppid=4669 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4683/stat : 4683 (java) S 4669 4669 3746 0 -1 1077944384 407 0 0 0 0 0 0 0 20 0 15 0 405083306 15373000704 17728 33554432000 4194304 4196468 140722007001376 140532502178544 140533534419586 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4684] ppid=4669 vsize=15012696 memory=139804955838080 CPUtime=0.01 cores=1,3,5,7
/proc/4672/task/4684/stat : 4684 (java) R 4669 4669 3746 0 -1 4202560 420 0 0 0 1 0 0 0 20 0 15 0 405083306 15373000704 17728 33554432000 4194304 4196468 140722007001376 140532501122616 140533513205656 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4685] ppid=4669 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4685/stat : 4685 (java) S 4669 4669 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405083307 15373000704 17728 33554432000 4194304 4196468 140722007001376 140531128593120 140533534418645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4686] ppid=4669 vsize=15012696 memory=139804955838080 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4686/stat : 4686 (java) S 4669 4669 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405083307 15373000704 17728 33554432000 4194304 4196468 140722007001376 140532500073136 140533534419586 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 72308 KiB
[startup+0.210949 s]*
/proc/loadavg: 2.39 3.36 3.72 3/236 4686
/proc/meminfo: memFree=15760948/32770624 swapFree=66997568/67108860
[pid=4669] ppid=4666 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4669/stat : 4669 (scop.sh) S 4666 4669 3746 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405083300 115843072 349 33554432000 4194304 5098028 140734733219568 140734733216824 139758721741436 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13565952 140734733226851 140734733227120 140734733227120 140734733230029 0
/proc/4669/statm: 28282 349 296 221 0 87 0
[pid=4672] ppid=4669 vsize=15012696 memory=86004 CPUtime=0.26 cores=1,3,5,7
/proc/4672/stat : 4672 (java) S 4669 4669 3746 0 -1 1077944320 12096 0 0 0 22 4 0 0 20 0 15 0 405083300 15373000704 21501 33554432000 4194304 4196468 140722007001376 140722006983920 140533534408439 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
/proc/4672/statm: 3753174 21501 2920 1 0 3715579 0
[pid=4672/tid=4673] ppid=4669 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/4672/task/4673/stat : 4673 (java) R 4669 4669 3746 0 -1 4202560 9842 0 0 0 17 3 0 0 20 0 15 0 405083300 15373000704 21501 33554432000 4194304 4196468 140722007001376 140533506226208 140533518488926 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4674] ppid=4669 vsize=15012696 memory=345 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4674/stat : 4674 (java) S 4669 4669 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405083302 15373000704 21501 33554432000 4194304 4196468 140722007001376 140533538651280 140533534418645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4675] ppid=4669 vsize=15012696 memory=139804955843006 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4675/stat : 4675 (java) S 4669 4669 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405083302 15373000704 21501 33554432000 4194304 4196468 140722007001376 140533352807440 140533534418645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4676] ppid=4669 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4676/stat : 4676 (java) S 4669 4669 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405083302 15373000704 21501 33554432000 4194304 4196468 140722007001376 140533351754640 140533534418645 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4677] ppid=4669 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4677/stat : 4677 (java) S 4669 4669 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405083302 15373000704 21501 33554432000 4194304 4196468 140722007001376 140533350701840 140533534418645 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4678] ppid=4669 vsize=15012696 memory=139804955838080 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4678/stat : 4678 (java) S 4669 4669 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405083303 15373000704 21501 33554432000 4194304 4196468 140722007001376 140532504283504 140533534419586 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4679] ppid=4669 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4679/stat : 4679 (java) S 4669 4669 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405083304 15373000704 21501 33554432000 4194304 4196468 140722007001376 140532135224352 140533534418645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4680] ppid=4669 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4680/stat : 4680 (java) S 4669 4669 3746 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405083304 15373000704 21501 33554432000 4194304 4196468 140722007001376 140532001002352 140533534418645 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4681] ppid=4669 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4681/stat : 4681 (java) S 4669 4669 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405083306 15373000704 21501 33554432000 4194304 4196468 140722007001376 140531626497872 140533534427035 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4682] ppid=4669 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4682/stat : 4682 (java) S 4669 4669 3746 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 405083306 15373000704 21501 33554432000 4194304 4196468 140722007001376 140532503231344 140533534419586 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4683] ppid=4669 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4683/stat : 4683 (java) S 4669 4669 3746 0 -1 1077944384 440 0 0 0 0 0 0 0 20 0 15 0 405083306 15373000704 21501 33554432000 4194304 4196468 140722007001376 140532502178544 140533534419586 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4684] ppid=4669 vsize=15012696 memory=139804955838080 CPUtime=0.03 cores=1,3,5,7
/proc/4672/task/4684/stat : 4684 (java) R 4669 4669 3746 0 -1 4202560 430 0 0 0 3 0 0 0 20 0 15 0 405083306 15373000704 21501 33554432000 4194304 4196468 140722007001376 140532501123280 140533512898897 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4685] ppid=4669 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4685/stat : 4685 (java) S 4669 4669 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405083307 15373000704 21501 33554432000 4194304 4196468 140722007001376 140531128593120 140533534418645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4686] ppid=4669 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4686/stat : 4686 (java) S 4669 4669 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405083307 15373000704 21501 33554432000 4194304 4196468 140722007001376 140532500073136 140533534419586 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87400 KiB
[startup+0.31082 s]*
/proc/loadavg: 2.39 3.36 3.72 3/236 4686
/proc/meminfo: memFree=15757660/32770624 swapFree=66997568/67108860
[pid=4669] ppid=4666 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4669/stat : 4669 (scop.sh) S 4666 4669 3746 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405083300 115843072 349 33554432000 4194304 5098028 140734733219568 140734733216824 139758721741436 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13565952 140734733226851 140734733227120 140734733227120 140734733230029 0
/proc/4669/statm: 28282 349 296 221 0 87 0
[pid=4672] ppid=4669 vsize=15012696 memory=90220 CPUtime=0.43 cores=1,3,5,7
/proc/4672/stat : 4672 (java) S 4669 4669 3746 0 -1 1077944320 12592 0 0 0 39 4 0 0 20 0 15 0 405083300 15373000704 22555 33554432000 4194304 4196468 140722007001376 140722006983920 140533534408439 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
/proc/4672/statm: 3753174 22555 3065 1 0 3715579 0
[pid=4672/tid=4673] ppid=4669 vsize=15012696 memory=7022364632946311227 CPUtime=0.3 cores=1,3,5,7
/proc/4672/task/4673/stat : 4673 (java) R 4669 4669 3746 0 -1 4202560 10126 0 0 0 27 3 0 0 20 0 15 0 405083300 15373000704 22555 33554432000 4194304 4196468 140722007001376 140533506238512 140533515971995 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4674] ppid=4669 vsize=15012696 memory=288230604707987820 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4674/stat : 4674 (java) S 4669 4669 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405083302 15373000704 22555 33554432000 4194304 4196468 140722007001376 140533538651280 140533534418645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4675] ppid=4669 vsize=15012696 memory=13572578564379004 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4675/stat : 4675 (java) S 4669 4669 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405083302 15373000704 22555 33554432000 4194304 4196468 140722007001376 140533352807440 140533534418645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4676] ppid=4669 vsize=15012696 memory=279609619020144 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4676/stat : 4676 (java) S 4669 4669 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405083302 15373000704 22555 33554432000 4194304 4196468 140722007001376 140533351754640 140533534418645 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4677] ppid=4669 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4677/stat : 4677 (java) S 4669 4669 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405083302 15373000704 22555 33554432000 4194304 4196468 140722007001376 140533350701840 140533534418645 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4678] ppid=4669 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4678/stat : 4678 (java) S 4669 4669 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405083303 15373000704 22555 33554432000 4194304 4196468 140722007001376 140532504283504 140533534419586 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4679] ppid=4669 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4679/stat : 4679 (java) S 4669 4669 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405083304 15373000704 22555 33554432000 4194304 4196468 140722007001376 140532135224352 140533534418645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4680] ppid=4669 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4680/stat : 4680 (java) S 4669 4669 3746 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405083304 15373000704 22555 33554432000 4194304 4196468 140722007001376 140532001002352 140533534418645 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4681] ppid=4669 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4681/stat : 4681 (java) S 4669 4669 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405083306 15373000704 22555 33554432000 4194304 4196468 140722007001376 140531626497872 140533534427035 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4682] ppid=4669 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4672/task/4682/stat : 4682 (java) S 4669 4669 3746 0 -1 1077944384 134 0 0 0 2 0 0 0 20 0 15 0 405083306 15373000704 22555 33554432000 4194304 4196468 140722007001376 140532503231344 140533534419586 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4683] ppid=4669 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4672/task/4683/stat : 4683 (java) S 4669 4669 3746 0 -1 1077944384 506 0 0 0 2 0 0 0 20 0 15 0 405083306 15373000704 22555 33554432000 4194304 4196468 140722007001376 140532502178544 140533534419586 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4684] ppid=4669 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4672/task/4684/stat : 4684 (java) S 4669 4669 3746 0 -1 1077944384 473 0 0 0 7 0 0 0 20 0 15 0 405083306 15373000704 22555 33554432000 4194304 4196468 140722007001376 140532501125744 140533534419586 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4685] ppid=4669 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4685/stat : 4685 (java) S 4669 4669 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405083307 15373000704 22555 33554432000 4194304 4196468 140722007001376 140531128593120 140533534418645 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4686] ppid=4669 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4686/stat : 4686 (java) S 4669 4669 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405083307 15373000704 22555 33554432000 4194304 4196468 140722007001376 140532500073136 140533534419586 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91616 KiB
[startup+0.706453 s]
/proc/loadavg: 2.39 3.36 3.72 3/236 4686
/proc/meminfo: memFree=15736452/32770624 swapFree=66997568/67108860
[pid=4669] ppid=4666 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4669/stat : 4669 (scop.sh) S 4666 4669 3746 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405083300 115843072 349 33554432000 4194304 5098028 140734733219568 140734733216824 139758721741436 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13565952 140734733226851 140734733227120 140734733227120 140734733230029 0
/proc/4669/statm: 28282 349 296 221 0 87 0
[pid=4672] ppid=4669 vsize=15018968 memory=129996 CPUtime=1.07 cores=1,3,5,7
/proc/4672/stat : 4672 (java) S 4669 4669 3746 0 -1 1077944320 20241 0 0 0 100 7 0 0 20 0 15 0 405083300 15379423232 32499 33554432000 4194304 4196468 140722007001376 140722006983920 140533534408439 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
/proc/4672/statm: 3754742 32499 3191 1 0 3716091 0
[pid=4672/tid=4673] ppid=4669 vsize=15018968 memory=1781740340481 CPUtime=0.68 cores=1,3,5,7
/proc/4672/task/4673/stat : 4673 (java) R 4669 4669 3746 0 -1 4202560 17159 0 0 0 63 5 0 0 20 0 15 0 405083300 15379423232 32499 33554432000 4194304 4196468 140722007001376 140533506245856 140533024543562 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4674] ppid=4669 vsize=15018968 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4674/stat : 4674 (java) S 4669 4669 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405083302 15379423232 32499 33554432000 4194304 4196468 140722007001376 140533538651280 140533534418645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4675] ppid=4669 vsize=15018968 memory=3928 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4675/stat : 4675 (java) S 4669 4669 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405083302 15379423232 32499 33554432000 4194304 4196468 140722007001376 140533352807440 140533534418645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4676] ppid=4669 vsize=15018968 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4676/stat : 4676 (java) S 4669 4669 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405083302 15379423232 32499 33554432000 4194304 4196468 140722007001376 140533351754640 140533534418645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4677] ppid=4669 vsize=15018968 memory=1676 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4677/stat : 4677 (java) S 4669 4669 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405083302 15379423232 32499 33554432000 4194304 4196468 140722007001376 140533350701840 140533534418645 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4678] ppid=4669 vsize=15018968 memory=1212 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4678/stat : 4678 (java) S 4669 4669 3746 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405083303 15379423232 32499 33554432000 4194304 4196468 140722007001376 140532504283504 140533534419586 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4679] ppid=4669 vsize=15018968 memory=1044 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4679/stat : 4679 (java) S 4669 4669 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405083304 15379423232 32499 33554432000 4194304 4196468 140722007001376 140532135224352 140533534418645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4680] ppid=4669 vsize=15018968 memory=712 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4680/stat : 4680 (java) S 4669 4669 3746 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405083304 15379423232 32499 33554432000 4194304 4196468 140722007001376 140532001002352 140533534418645 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4681] ppid=4669 vsize=15018968 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4681/stat : 4681 (java) S 4669 4669 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405083306 15379423232 32499 33554432000 4194304 4196468 140722007001376 140531626497872 140533534427035 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4682] ppid=4669 vsize=15018968 memory=7984 CPUtime=0.08 cores=1,3,5,7
/proc/4672/task/4682/stat : 4682 (java) R 4669 4669 3746 0 -1 4202560 321 0 0 0 8 0 0 0 20 0 15 0 405083306 15379423232 32499 33554432000 4194304 4196468 140722007001376 140532503231344 140533514125575 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4683] ppid=4669 vsize=15018968 memory=10596 CPUtime=0.1 cores=1,3,5,7
/proc/4672/task/4683/stat : 4683 (java) R 4669 4669 3746 0 -1 4202560 730 0 0 0 10 0 0 0 20 0 15 0 405083306 15379423232 32499 33554432000 4194304 4196468 140722007001376 140532502168016 140533519292858 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4684] ppid=4669 vsize=15018968 memory=14012 CPUtime=0.18 cores=1,3,5,7
/proc/4672/task/4684/stat : 4684 (java) R 4669 4669 3746 0 -1 1077944384 676 0 0 0 18 0 0 0 20 0 15 0 405083306 15379423232 32499 33554432000 4194304 4196468 140722007001376 140532501123552 140533534418645 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4685] ppid=4669 vsize=15018968 memory=14080 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4685/stat : 4685 (java) S 4669 4669 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405083307 15379423232 32499 33554432000 4194304 4196468 140722007001376 140531128593120 140533534418645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
[pid=4672/tid=4686] ppid=4669 vsize=15018968 memory=19884 CPUtime=0 cores=1,3,5,7
/proc/4672/task/4686/stat : 4686 (java) S 4669 4669 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405083307 15379423232 32499 33554432000 4194304 4196468 140722007001376 140532500073136 140533534419586 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6758400 140722007008042 140722007008410 140722007008410 140722007011279 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 131392 KiB
[startup+1.50089 s]
/proc/loadavg: 2.39 3.36 3.72 4/236 4686
/proc/meminfo: memFree=15672304/32770624 swapFree=66997568/67108860
[pid=4669] ppid=4666 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4669/stat : 4669 (scop.sh) S 4666 4669 3746 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405083300 115843072 349 33554432000 4194304 5098028 140734733219568 140734733216824 139758721741436 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13565952 140734733226851 140734733227120 140734733227120 140734733230029 0
/proc/4669/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/4690/task/4709/stat : 4709 (java) S 4669 4669 3746 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405087761 8262082560 41033 33554432000 4194304 4196468 140727131562192 140032643940272 140035224573085 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4710] ppid=4669 vsize=8068440 memory=1676 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4710/stat : 4710 (java) S 4669 4669 3746 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405087764 8262082560 41033 33554432000 4194304 4196468 140727131562192 140032241294768 140035224561365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
Current children cumulated CPU time: 70.87 s
Current children cumulated vsize: 10275700 KiB
Current children cumulated memory: 2093112 KiB
[startup+60.801 s]
/proc/loadavg: 2.49 3.23 3.65 3/241 4711
/proc/meminfo: memFree=13454516/32770624 swapFree=66997568/67108860
[pid=4669] ppid=4666 vsize=113128 memory=1476 CPUtime=53.79 cores=1,3,5,7
/proc/4669/stat : 4669 (scop.sh) S 4666 4669 3746 0 -1 4202496 582 48924 0 0 0 0 5194 185 20 0 1 0 405083300 115843072 369 33554432000 4194304 5098028 140734733219568 140734733216312 139758721741436 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13565952 140734733226851 140734733227120 140734733227120 140734733230029 0
/proc/4669/statm: 28282 369 311 221 0 87 0
[pid=4690] ppid=4669 vsize=8068440 memory=164132 CPUtime=2.5 cores=1,3,5,7
/proc/4690/stat : 4690 (java) S 4669 4669 3746 0 -1 1077944320 22353 0 0 0 206 44 0 0 20 0 19 0 405087618 8262082560 41033 33554432000 4194304 4196468 140727131562192 140727131544736 140035224551159 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
/proc/4690/statm: 2017110 41033 3226 1 0 1978454 0
[pid=4705] ppid=4690 vsize=2094132 memory=1927576 CPUtime=16.18 cores=1,3,5,7
/proc/4705/stat : 4705 (cryptominisat5) R 4690 4669 3746 0 -1 4202496 840812 0 0 0 1543 75 0 0 20 0 1 0 405087760 2144391168 481894 33554432000 4194304 4451008 140722719264928 140722719261048 140167520072370 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 19984384 140722719269821 140722719269952 140722719269952 140722719272902 0
/proc/4705/statm: 523533 481894 641 63 0 517260 0
[pid=4690/tid=4691] ppid=4669 vsize=8068440 memory=2020 CPUtime=1.46 cores=1,3,5,7
/proc/4690/task/4691/stat : 4691 (java) S 4669 4669 3746 0 -1 1077944384 17992 0 0 0 106 40 0 0 20 0 19 0 405087618 8262082560 41033 33554432000 4194304 4196468 140727131562192 140035196391328 140035224561365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4692] ppid=4669 vsize=8068440 memory=1432 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4692/stat : 4692 (java) S 4669 4669 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405087620 8262082560 41033 33554432000 4194304 4196468 140727131562192 140035228793744 140035224561365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4693] ppid=4669 vsize=8068440 memory=776 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4693/stat : 4693 (java) S 4669 4669 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405087620 8262082560 41033 33554432000 4194304 4196468 140727131562192 140034710022928 140035224561365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4694] ppid=4669 vsize=8068440 memory=1212 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4694/stat : 4694 (java) S 4669 4669 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405087620 8262082560 41033 33554432000 4194304 4196468 140727131562192 140034708970640 140035224561365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4695] ppid=4669 vsize=8068440 memory=1044 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4695/stat : 4695 (java) S 4669 4669 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405087620 8262082560 41033 33554432000 4194304 4196468 140727131562192 140034707917840 140035224561365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4696] ppid=4669 vsize=8068440 memory=712 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4696/stat : 4696 (java) S 4669 4669 3746 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405087621 8262082560 41033 33554432000 4194304 4196468 140727131562192 140034671011952 140035224562306 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4697] ppid=4669 vsize=8068440 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4697/stat : 4697 (java) S 4669 4669 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405087622 8262082560 41033 33554432000 4194304 4196468 140727131562192 140034053235488 140035224561365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4698] ppid=4669 vsize=8068440 memory=7984 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4698/stat : 4698 (java) S 4669 4669 3746 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405087622 8262082560 41033 33554432000 4194304 4196468 140727131562192 140033919014000 140035224561365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4699] ppid=4669 vsize=8068440 memory=10596 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4699/stat : 4699 (java) S 4669 4669 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405087624 8262082560 41033 33554432000 4194304 4196468 140727131562192 140033544509520 140035224569755 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4700] ppid=4669 vsize=8068440 memory=14012 CPUtime=0.39 cores=1,3,5,7
/proc/4690/task/4700/stat : 4700 (java) S 4669 4669 3746 0 -1 1077944384 1433 0 0 0 39 0 0 0 20 0 19 0 405087624 8262082560 41033 33554432000 4194304 4196468 140727131562192 140034669959792 140035224562306 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4701] ppid=4669 vsize=8068440 memory=14080 CPUtime=0.34 cores=1,3,5,7
/proc/4690/task/4701/stat : 4701 (java) S 4669 4669 3746 0 -1 1077944384 652 0 0 0 34 0 0 0 20 0 19 0 405087624 8262082560 41033 33554432000 4194304 4196468 140727131562192 140034668906992 140035224562306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4702] ppid=4669 vsize=8068440 memory=973 CPUtime=0.26 cores=1,3,5,7
/proc/4690/task/4702/stat : 4702 (java) S 4669 4669 3746 0 -1 1077944384 865 0 0 0 26 0 0 0 20 0 19 0 405087624 8262082560 41033 33554432000 4194304 4196468 140727131562192 140034667854704 140035224562306 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4703] ppid=4669 vsize=8068440 memory=1316 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4703/stat : 4703 (java) S 4669 4669 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405087624 8262082560 41033 33554432000 4194304 4196468 140727131562192 140033046604768 140035224561365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4704] ppid=4669 vsize=8068440 memory=11 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4704/stat : 4704 (java) S 4669 4669 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405087625 8262082560 41033 33554432000 4194304 4196468 140727131562192 140034666801584 140035224562306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4706] ppid=4669 vsize=8068440 memory=26117 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4706/stat : 4706 (java) S 4669 4669 3746 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405087761 8262082560 41033 33554432000 4194304 4196468 140727131562192 140034658767808 140035224575769 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4708] ppid=4669 vsize=8068440 memory=1317 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4708/stat : 4708 (java) S 4669 4669 3746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 405087761 8262082560 41033 33554432000 4194304 4196468 140727131562192 140032509718064 140035224573085 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4709] ppid=4669 vsize=8068440 memory=1 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4709/stat : 4709 (java) S 4669 4669 3746 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405087761 8262082560 41033 33554432000 4194304 4196468 140727131562192 140032643940272 140035224573085 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4710] ppid=4669 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4710/stat : 4710 (java) S 4669 4669 3746 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405087764 8262082560 41033 33554432000 4194304 4196468 140727131562192 140032241294768 140035224561365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
Current children cumulated CPU time: 72.47 s
Current children cumulated vsize: 10275700 KiB
Current children cumulated memory: 2093184 KiB
[startup+61.601 s]
/proc/loadavg: 2.49 3.23 3.65 3/241 4711
/proc/meminfo: memFree=13454060/32770624 swapFree=66997568/67108860
[pid=4669] ppid=4666 vsize=113128 memory=1476 CPUtime=53.79 cores=1,3,5,7
/proc/4669/stat : 4669 (scop.sh) S 4666 4669 3746 0 -1 4202496 582 48924 0 0 0 0 5194 185 20 0 1 0 405083300 115843072 369 33554432000 4194304 5098028 140734733219568 140734733216312 139758721741436 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13565952 140734733226851 140734733227120 140734733227120 140734733230029 0
/proc/4669/statm: 28282 369 311 221 0 87 0
[pid=4690] ppid=4669 vsize=8068440 memory=164232 CPUtime=2.51 cores=1,3,5,7
/proc/4690/stat : 4690 (java) S 4669 4669 3746 0 -1 1077944320 22361 0 0 0 207 44 0 0 20 0 19 0 405087618 8262082560 41058 33554432000 4194304 4196468 140727131562192 140727131544736 140035224551159 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
/proc/4690/statm: 2017110 41058 3230 1 0 1978454 0
[pid=4705] ppid=4690 vsize=1301280 memory=1232484 CPUtime=16.98 cores=1,3,5,7
/proc/4705/stat : 4705 (cryptominisat5) R 4690 4669 3746 0 -1 4202496 852680 0 0 0 1622 76 0 0 20 0 1 0 405087760 1332510720 308121 33554432000 4194304 4451008 140722719264928 140722719261048 140167500389998 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 19984384 140722719269821 140722719269952 140722719269952 140722719272902 0
/proc/4705/statm: 325320 308121 674 63 0 319047 0
[pid=4690/tid=4691] ppid=4669 vsize=8068440 memory=-3622645143214314312 CPUtime=1.46 cores=1,3,5,7
/proc/4690/task/4691/stat : 4691 (java) S 4669 4669 3746 0 -1 1077944384 17992 0 0 0 106 40 0 0 20 0 19 0 405087618 8262082560 41058 33554432000 4194304 4196468 140727131562192 140035196391328 140035224561365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4692] ppid=4669 vsize=8068440 memory=164132 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4692/stat : 4692 (java) S 4669 4669 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405087620 8262082560 41058 33554432000 4194304 4196468 140727131562192 140035228793744 140035224561365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4693] ppid=4669 vsize=8068440 memory=1927576 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4693/stat : 4693 (java) S 4669 4669 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405087620 8262082560 41058 33554432000 4194304 4196468 140727131562192 140034710022928 140035224561365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4694] ppid=4669 vsize=8068440 memory=916 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4694/stat : 4694 (java) S 4669 4669 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405087620 8262082560 41058 33554432000 4194304 4196468 140727131562192 140034708970640 140035224561365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4695] ppid=4669 vsize=8068440 memory=3852 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4695/stat : 4695 (java) S 4669 4669 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405087620 8262082560 41058 33554432000 4194304 4196468 140727131562192 140034707917840 140035224561365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4696] ppid=4669 vsize=8068440 memory=2304 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4696/stat : 4696 (java) S 4669 4669 3746 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405087621 8262082560 41058 33554432000 4194304 4196468 140727131562192 140034671011952 140035224562306 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4697] ppid=4669 vsize=8068440 memory=776 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4697/stat : 4697 (java) S 4669 4669 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405087622 8262082560 41058 33554432000 4194304 4196468 140727131562192 140034053235488 140035224561365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4698] ppid=4669 vsize=8068440 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4698/stat : 4698 (java) S 4669 4669 3746 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405087622 8262082560 41058 33554432000 4194304 4196468 140727131562192 140033919014000 140035224561365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4699] ppid=4669 vsize=8068440 memory=3928 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4699/stat : 4699 (java) S 4669 4669 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405087624 8262082560 41058 33554432000 4194304 4196468 140727131562192 140033544509520 140035224569755 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4700] ppid=4669 vsize=8068440 memory=1552 CPUtime=0.39 cores=1,3,5,7
/proc/4690/task/4700/stat : 4700 (java) S 4669 4669 3746 0 -1 1077944384 1437 0 0 0 39 0 0 0 20 0 19 0 405087624 8262082560 41058 33554432000 4194304 4196468 140727131562192 140034669959792 140035224562306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4701] ppid=4669 vsize=8068440 memory=1676 CPUtime=0.34 cores=1,3,5,7
/proc/4690/task/4701/stat : 4701 (java) S 4669 4669 3746 0 -1 1077944384 652 0 0 0 34 0 0 0 20 0 19 0 405087624 8262082560 41058 33554432000 4194304 4196468 140727131562192 140034668906992 140035224562306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4702] ppid=4669 vsize=8068440 memory=1212 CPUtime=0.26 cores=1,3,5,7
/proc/4690/task/4702/stat : 4702 (java) S 4669 4669 3746 0 -1 1077944384 867 0 0 0 26 0 0 0 20 0 19 0 405087624 8262082560 41058 33554432000 4194304 4196468 140727131562192 140034667854704 140035224562306 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4703] ppid=4669 vsize=8068440 memory=1044 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4703/stat : 4703 (java) S 4669 4669 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405087624 8262082560 41058 33554432000 4194304 4196468 140727131562192 140033046604768 140035224561365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4704] ppid=4669 vsize=8068440 memory=712 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4704/stat : 4704 (java) S 4669 4669 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405087625 8262082560 41058 33554432000 4194304 4196468 140727131562192 140034666801584 140035224562306 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4706] ppid=4669 vsize=8068440 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4706/stat : 4706 (java) S 4669 4669 3746 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405087761 8262082560 41058 33554432000 4194304 4196468 140727131562192 140034658767808 140035224575769 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4708] ppid=4669 vsize=8068440 memory=7984 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4708/stat : 4708 (java) S 4669 4669 3746 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 405087761 8262082560 41058 33554432000 4194304 4196468 140727131562192 140032509718064 140035224573085 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4709] ppid=4669 vsize=8068440 memory=10596 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4709/stat : 4709 (java) S 4669 4669 3746 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405087761 8262082560 41058 33554432000 4194304 4196468 140727131562192 140032643940272 140035224573085 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4710] ppid=4669 vsize=8068440 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4710/stat : 4710 (java) S 4669 4669 3746 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405087764 8262082560 41058 33554432000 4194304 4196468 140727131562192 140032241294768 140035224561365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
Current children cumulated CPU time: 73.28 s
Current children cumulated vsize: 9482848 KiB
Current children cumulated memory: 1398192 KiB
[startup+62.001 s]*
/proc/loadavg: 2.49 3.23 3.65 3/241 4711
/proc/meminfo: memFree=14826332/32770624 swapFree=66997568/67108860
[pid=4669] ppid=4666 vsize=113128 memory=1476 CPUtime=53.79 cores=1,3,5,7
/proc/4669/stat : 4669 (scop.sh) S 4666 4669 3746 0 -1 4202496 582 48924 0 0 0 0 5194 185 20 0 1 0 405083300 115843072 369 33554432000 4194304 5098028 140734733219568 140734733216312 139758721741436 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13565952 140734733226851 140734733227120 140734733227120 140734733230029 0
/proc/4669/statm: 28282 369 311 221 0 87 0
[pid=4690] ppid=4669 vsize=8068440 memory=164232 CPUtime=2.51 cores=1,3,5,7
/proc/4690/stat : 4690 (java) S 4669 4669 3746 0 -1 1077944320 22361 0 0 0 207 44 0 0 20 0 19 0 405087618 8262082560 41058 33554432000 4194304 4196468 140727131562192 140727131544736 140035224551159 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
/proc/4690/statm: 2017110 41058 3230 1 0 1978454 0
[pid=4690/tid=4691] ppid=4669 vsize=8068440 memory=1398722017469774279 CPUtime=1.46 cores=1,3,5,7
/proc/4690/task/4691/stat : 4691 (java) S 4669 4669 3746 0 -1 1077944384 17992 0 0 0 106 40 0 0 20 0 19 0 405087618 8262082560 41058 33554432000 4194304 4196468 140727131562192 140035196391328 140035224561365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4692] ppid=4669 vsize=8068440 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4692/stat : 4692 (java) S 4669 4669 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405087620 8262082560 41058 33554432000 4194304 4196468 140727131562192 140035228793744 140035224561365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4693] ppid=4669 vsize=8068440 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4693/stat : 4693 (java) S 4669 4669 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405087620 8262082560 41058 33554432000 4194304 4196468 140727131562192 140034710022928 140035224561365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4694] ppid=4669 vsize=8068440 memory=33 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4694/stat : 4694 (java) S 4669 4669 3746 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405087620 8262082560 41058 33554432000 4194304 4196468 140727131562192 140034708970640 140035224561365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4695] ppid=4669 vsize=8068440 memory=279609620234800 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4695/stat : 4695 (java) S 4669 4669 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405087620 8262082560 41058 33554432000 4194304 4196468 140727131562192 140034707917840 140035224561365 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4696] ppid=4669 vsize=8068440 memory=132836 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4696/stat : 4696 (java) S 4669 4669 3746 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405087621 8262082560 41058 33554432000 4194304 4196468 140727131562192 140034671011952 140035224562306 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4697] ppid=4669 vsize=8068440 memory=-3622645143214314312 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4697/stat : 4697 (java) S 4669 4669 3746 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405087622 8262082560 41058 33554432000 4194304 4196468 140727131562192 140034053235488 140035224561365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4698] ppid=4669 vsize=8068440 memory=288230604624101685 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4698/stat : 4698 (java) S 4669 4669 3746 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405087622 8262082560 41058 33554432000 4194304 4196468 140727131562192 140033919014000 140035224561365 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4699] ppid=4669 vsize=8068440 memory=13567089545840104 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4699/stat : 4699 (java) S 4669 4669 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405087624 8262082560 41058 33554432000 4194304 4196468 140727131562192 140033544509520 140035224569755 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4700] ppid=4669 vsize=8068440 memory=1212 CPUtime=0.39 cores=1,3,5,7
/proc/4690/task/4700/stat : 4700 (java) S 4669 4669 3746 0 -1 1077944384 1437 0 0 0 39 0 0 0 20 0 19 0 405087624 8262082560 41058 33554432000 4194304 4196468 140727131562192 140034669959792 140035224562306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4701] ppid=4669 vsize=8068440 memory=1044 CPUtime=0.34 cores=1,3,5,7
/proc/4690/task/4701/stat : 4701 (java) S 4669 4669 3746 0 -1 1077944384 652 0 0 0 34 0 0 0 20 0 19 0 405087624 8262082560 41058 33554432000 4194304 4196468 140727131562192 140034668906992 140035224562306 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4702] ppid=4669 vsize=8068440 memory=712 CPUtime=0.26 cores=1,3,5,7
/proc/4690/task/4702/stat : 4702 (java) S 4669 4669 3746 0 -1 1077944384 867 0 0 0 26 0 0 0 20 0 19 0 405087624 8262082560 41058 33554432000 4194304 4196468 140727131562192 140034667854704 140035224562306 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4703] ppid=4669 vsize=8068440 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4703/stat : 4703 (java) S 4669 4669 3746 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405087624 8262082560 41058 33554432000 4194304 4196468 140727131562192 140033046604768 140035224561365 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4704] ppid=4669 vsize=8068440 memory=7984 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4704/stat : 4704 (java) S 4669 4669 3746 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405087625 8262082560 41058 33554432000 4194304 4196468 140727131562192 140034666801584 140035224562306 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4706] ppid=4669 vsize=8068440 memory=10596 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4706/stat : 4706 (java) S 4669 4669 3746 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405087761 8262082560 41058 33554432000 4194304 4196468 140727131562192 140034658767808 140035224575769 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4708] ppid=4669 vsize=8068440 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4708/stat : 4708 (java) S 4669 4669 3746 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 405087761 8262082560 41058 33554432000 4194304 4196468 140727131562192 140032509718064 140035224573085 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4709] ppid=4669 vsize=8068440 memory=14080 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4709/stat : 4709 (java) S 4669 4669 3746 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405087761 8262082560 41058 33554432000 4194304 4196468 140727131562192 140032643940272 140035224573085 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
[pid=4690/tid=4710] ppid=4669 vsize=8068440 memory=19884 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4710/stat : 4710 (java) S 4669 4669 3746 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405087764 8262082560 41058 33554432000 4194304 4196468 140727131562192 140032241294768 140035224561365 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13766656 140727131567100 140727131567258 140727131567258 140727131570127 0
Current children cumulated CPU time: 56.3 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 165708 KiB
Child status: 0
Real time (s): 62.0803
CPU time (s): 73.796
CPU user time (s): 70.62
CPU system time (s): 3.17592
CPU usage (%): 118.872
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 3912936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 70.62
system time used= 3.17592
maximum resident set size= 3911780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 934285
page faults= 0
swaps= 0
block input operations= 16
block output operations= 573816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8223
involuntary context switches= 138
# summary of solver processes directly reported to runsolver:
# pid: 4669
# total CPU time (s): 73.796
# total CPU user time (s): 70.62
# total CPU system time (s): 3.17592
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.450582 second user time and 0.660377 second system time
The end