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-14757-serial-file.bin HOME/instance-4387627-1568286364.xml
0.65/0.53
0.65/0.53 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.65/0.53
0.65/0.56 c BEGIN-Prog: Thu Sep 12 13:05:26 CEST 2019
0.65/0.56 c PID: 14760
0.65/0.56 c IP: 172.20.3.151
0.65/0.56 c HOST: node151.alineos.net
0.65/0.56 c (0,0) Parsing Begin
6.63/4.86 c (4,4) Parsing End
6.63/4.86 c (4,4) CSP: 12 int (0 aux), 0 bool (0 aux), 200 ctr, max domain size 12
6.63/4.86 c (4,4) Heap : 1316 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
6.63/4.86 c (4,4) Constraint Name Generate Begin
6.63/4.87 c (4,4) Ctr:HOME/instance-4387627-1568286364.xml,ExtensionSupport:Var
6.63/4.87 c (4,4) Constraint Name Generate End
6.63/4.87 c (4,4) Heap : 1316 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
6.63/4.87 c (4,4) CSP to CSPinCNF Begin
68.74/48.99 c (48,46) translated 20 (10%) constraints
119.87/93.15 c (92,88) translated 40 (20%) constraints
166.61/136.39 c (135,130) translated 60 (30%) constraints
213.11/179.50 c (178,172) translated 80 (40%) constraints
259.72/222.68 c (222,214) translated 100 (50%) constraints
306.65/265.96 c (265,256) translated 120 (60%) constraints
353.92/309.25 c (308,298) translated 140 (70%) constraints
400.23/352.39 c (351,340) translated 160 (80%) constraints
446.71/395.52 c (394,382) translated 180 (90%) constraints
494.27/438.98 c (438,424) translated 200 (100%) constraints
496.37/441.09 c (440,426) ===========================================
498.10/442.77 c (442,428) Hybrid: #OE=436517, #LE=0
498.10/442.77 c (442,428) Hybrid
498.10/442.77 c (442,428) ===========================================
514.98/457.68 c (457,443) translated 634338 (10%) constraints
531.17/472.47 c (471,457) translated 1268676 (20%) constraints
549.15/487.70 c (487,471) translated 1903014 (30%) constraints
565.10/502.46 c (501,486) translated 2537351 (40%) constraints
582.92/517.68 c (517,500) translated 3171689 (50%) constraints
598.96/532.41 c (531,514) translated 3806027 (60%) constraints
748.40/580.80 c (580,529) translated 4440364 (70%) constraints
843.00/615.40 c (614,543) translated 5074702 (80%) constraints
899.41/640.37 c (639,557) translated 5709040 (90%) constraints
1000.38/676.56 c (676,572) translated 6343377 (100%) constraints
1000.38/676.56 c (676,572) CSP to CSPinCNF End
1000.60/676.72 c (676,572) CSP: 12 int (0 aux), 436505 bool (436505 aux), 6343377 ctr, max domain size 12
1000.60/676.72 c (676,572) Heap : 9750 MiB used (max 10957 MiB), NonHeap : 26 MiB used (max 0 MiB)
1000.60/676.72 c (676,572) CSPinCNF Propagation Begin
1468.08/818.22 c (817,603) 0 values, 200 unsatisfiable literals, and 0 valid clauses are removed
1468.08/818.22 c (817,603) CSPinCNF Propagation End
1468.18/818.37 c (817,603) CSP: 12 int (0 aux), 436505 bool (436505 aux), 6343377 ctr, max domain size 12
1468.18/818.37 c (817,603) Heap : 8898 MiB used (max 10354 MiB), NonHeap : 27 MiB used (max 0 MiB)
1469.61/819.70 c (819,604) Hybrid: #OE=436517, #LE=0
1469.61/819.70 c (819,604) Simplify CSPinCNF Begin
1639.91/871.44 c (870,615) Simplify CSPinCNF End
1640.01/871.59 c (871,615) CSP: 12 int (0 aux), 436505 bool (436505 aux), 6343377 ctr, max domain size 12
1640.01/871.59 c (871,615) Heap : 9744 MiB used (max 10354 MiB), NonHeap : 27 MiB used (max 0 MiB)
1640.01/871.59 c (871,615) Calculate Precise Domain Begin
1640.01/871.59 c (871,615) 0 values are removed by re-calculation
1640.01/871.59 c (871,615) Calculate Precise Domain End
1640.21/871.75 c (871,616) CSP: 12 int (0 aux), 436505 bool (436505 aux), 6343377 ctr, max domain size 12
1640.21/871.75 c (871,616) Heap : 9744 MiB used (max 10354 MiB), NonHeap : 27 MiB used (max 0 MiB)
1640.21/871.75 c (871,616) CSPinCNF to SatSolver Begin
1695.19/890.74 c (890,623) 634338 (10 %) CSP clauses are encoded (0 SAT variables, 634457 SAT clauses)
1704.58/897.80 c (897,629) 1268676 (20 %) CSP clauses are encoded (0 SAT variables, 1268795 SAT clauses)
1713.91/904.91 c (904,636) 1903014 (30 %) CSP clauses are encoded (0 SAT variables, 1903133 SAT clauses)
1726.19/912.76 c (912,642) 2537351 (40 %) CSP clauses are encoded (0 SAT variables, 2537470 SAT clauses)
1740.19/921.03 c (920,648) 3171689 (50 %) CSP clauses are encoded (0 SAT variables, 3171808 SAT clauses)
1758.22/930.37 c (929,655) 3806027 (60 %) CSP clauses are encoded (0 SAT variables, 3806146 SAT clauses)
1775.68/939.49 c (938,661) 4440364 (70 %) CSP clauses are encoded (0 SAT variables, 4440483 SAT clauses)
1826.27/956.96 c (956,667) 5074702 (80 %) CSP clauses are encoded (0 SAT variables, 5074821 SAT clauses)
1833.77/963.57 c (963,674) 5709040 (90 %) CSP clauses are encoded (0 SAT variables, 5709159 SAT clauses)
1843.55/970.74 c (970,680) 6343377 (100 %) CSP clauses are encoded (0 SAT variables, 6343496 SAT clauses)
1843.55/970.74 c (970,680) CSPinCNF to SatSolver End
1843.55/970.74 c (970,680) Heap : 7523 MiB used (max 10263 MiB), NonHeap : 29 MiB used (max 0 MiB)
1843.55/970.74 c (970,680) 436637 bool, 6343497 clause
1843.55/970.74 c (970,680) Export Begin
1843.69/970.83 c (970,680) Export to HOME/scop-14757-serial-file.bin
1843.69/970.83 c (970,680) Export End
1843.69/970.83 c (970,680) Export File Size: 0.00 MB
1843.69/970.83 c (970,680) 4,4,676,817,871,871,970,STOP-AFTER(DIMACS)
1843.69/970.83 c END-Prog: Thu Sep 12 13:21:37 CEST 2019
1843.69/970.88 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-14757-serial-file.bin
1844.34/971.34 c (0,0) Read Serial File Begin
1844.34/971.34 c (0,0) HOME/scop-14757-serial-file.bin
1844.62/971.55 c (0,0) Read Serial File End
1844.62/971.56
1844.62/971.56 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
1844.62/971.56 (Solving Process)
1844.62/971.56
1844.62/971.58 c BEGIN-Prog: Thu Sep 12 13:21:37 CEST 2019
1844.62/971.58 c PID: 14867
1844.62/971.58 c IP: 172.20.3.151
1844.62/971.58 c HOST: node151.alineos.net
1844.62/971.58 c (0,0) SatSolver.solve Begin
1844.62/971.58 c (0,0) HOME/cryptominisat5 HOME/instance-4387627-1568286364.xml-scop-14760.cnf
1844.79/971.63 c (0,0) c Outputting solution to console
1844.79/971.63 c (0,0) c CryptoMiniSat version 5.6.8
1844.79/971.63 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
1844.79/971.63 c (0,0) c CMS SHA revision GIT-notfound
1844.79/971.63 c (0,0) c CMS is MIT licensed
1844.79/971.63 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
1844.79/971.63 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
1844.79/971.63 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387627-1568286364.xml-scop-14760.cnf
1844.79/971.63 c (0,0) c Reading file 'HOME/instance-4387627-1568286364.xml-scop-14760.cnf'
1844.79/971.63 c (0,0) c -- header says num vars: 436637
1844.79/971.63 c (0,0) c -- header says num clauses: 6343497
1847.33/974.07 c (2,0) c -- clauses added: 6343497
1847.33/974.07 c (2,0) c -- xor clauses added: 0
1847.33/974.07 c (2,0) c -- vars added 436637
1847.33/974.07 c (2,0) c Parsing time: 2.26 s
1851.63/978.39 c (7,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
1852.03/978.73 c (7,0) c [distill] long cls tried: 5/5 cl-short:5 lit-r:0 T: 0.34 T-out: N T-r: 98.30%
1913.49/1040.11 c (68,0) c [distill] long cls tried: 407/408 cl-short:407 lit-r:255 T: 12.28 T-out: N T-r: 41.08%
1971.81/1098.48 c (127,0) c [distill] long cls tried: 383/745 cl-short:363 lit-r:285 T: 7.00 T-out: N T-r: 64.94%
1980.42/1107.09 c (135,0) c glue 1 28 8193 436635 5847K 495K 3.92 3.77 864 5106 2332 50 15.56 15.48
2015.74/1142.34 c (171,0) c [distill] long cls tried: 1131/3178 cl-short:958 lit-r:3273 T: 20.03 T-out: Y T-r: -0.32%
2017.94/1144.56 c (173,0) c ------- FINAL TOTAL SEARCH STATS ---------
2017.94/1144.56 c (173,0) c UIP search time : 169.92 (98.69 % time)
2017.94/1144.56 c (173,0) c restarts : 37 (325.19 confls per restart)
2017.94/1144.56 c (173,0) c blocked restarts : 1 (0.03 per normal restart)
2017.94/1144.56 c (173,0) c time : 169.92
2017.94/1144.56 c (173,0) c decisions : 17605 (0.00 % random)
2017.94/1144.56 c (173,0) c propagations : 229213753
2017.94/1144.56 c (173,0) c decisions/conflicts : 1.46
2017.94/1144.56 c (173,0) c conflicts : 12032 (70.81 / sec)
2017.94/1144.56 c (173,0) c conf lits non-minim : 307335 (25.54 lit/confl)
2017.94/1144.56 c (173,0) c conf lits final : 15.93
2017.94/1144.56 c (173,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
2017.94/1144.56 c (173,0) c red which0 : 1434 (11.92 % of confl)
2017.94/1144.56 c (173,0) c props/decision : 0.00
2017.94/1144.56 c (173,0) c props/conflict : 0.00
2017.94/1144.56 c (173,0) c 0-depth assigns : 13569 (3.11 % vars)
2017.94/1144.56 c (173,0) c 0-depth assigns by CNF : 0 (0.00 % vars)
2017.94/1144.56 c (173,0) c reduceDB time : 0.00 (0.00 % time)
2017.94/1144.56 c (173,0) c OccSimplifier time : 0.00 (0.00 % time)
2017.94/1144.56 c (173,0) c [occur] 0.00 is overhead
2017.94/1144.56 c (173,0) c [occur] link-in T: 0.00 cleanup T: 0.00
2017.94/1144.56 c (173,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
2017.94/1144.56 c (173,0) c SCC time : 0.00 (0.00 % time)
2017.94/1144.56 c (173,0) c [scc] new: 0 BP 0M T: 0.00
2017.94/1144.56 c (173,0) c vrep replace time : 0.00 (0.00 % time)
2017.94/1144.56 c (173,0) c vrep tree roots : 0
2017.94/1144.56 c (173,0) c vrep trees' crown : 0 (0.00 leafs/tree)
2017.94/1144.56 c (173,0) c distill time : 39.65 (23.03 % time)
2017.94/1144.56 c (173,0) c strength cache-irred time: 0.00 (0.00 % time)
2017.94/1144.56 c (173,0) c strength cache-red time : 0.00 (0.00 % time)
2017.94/1144.56 c (173,0) c Conflicts in UIP : 12032 (69.88 confl/time_this_thread)
2017.94/1144.56 c (173,0) c Mem used : 770.01 MB
2017.94/1144.56 c (173,0) c Total time (this thread) : 172.18
2017.94/1144.56 c (173,0) s UNSATISFIABLE
2018.15/1144.75 c (173,0) SatSolver.solve End
2018.15/1144.76 c (173,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
2018.15/1144.76 c (173,0) Show results Begin
2018.15/1144.76 s UNSATISFIABLE
2018.15/1144.76 c (173,0) Show results End
2018.15/1144.76 c (173,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
2018.15/1144.76 c (173,0) 173,173,STOP-AFTER(ALL)
2018.15/1144.76 c END-Prog: Thu Sep 12 13:24:31 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 (15065 MiB free)
memory of node 1: 16384 MiB (13745 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387627-1568286364/watcher-4387627-1568286364 -o /tmp/evaluation-result-4387627-1568286364/solver-4387627-1568286364 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568286070-13983 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387627-1568286364.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=14757, runsolver pid=14754
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 2.35 2.12 2.07 3/235 14774
/proc/meminfo: memFree=29444416/32770624 swapFree=66932776/67108860
[pid=14757] ppid=14754 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14757/stat : 14757 (scop.sh) S 14754 14757 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404907956 115843072 349 33554432000 4194304 5098028 140729839204800 140729839202056 139839149449852 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35315712 140729839211363 140729839211632 140729839211632 140729839214541 0
/proc/14757/statm: 28282 349 296 221 0 87 0
[pid=14760] ppid=14757 vsize=15012696 memory=69984 CPUtime=0.11 cores=0,2,4,6
/proc/14760/stat : 14760 (java) S 14757 14757 12870 0 -1 1077944320 7327 0 0 0 10 1 0 0 20 0 15 0 404907956 15373000704 17496 33554432000 4194304 4196468 140730081019168 140730081001712 140603971608311 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
/proc/14760/statm: 3753174 17496 2914 1 0 3715579 0
[pid=14760/tid=14761] ppid=14757 vsize=15012696 memory=-6293354713193955265 CPUtime=0.09 cores=0,2,4,6
/proc/14760/task/14761/stat : 14761 (java) R 14757 14757 12870 0 -1 4202560 5132 0 0 0 8 1 0 0 20 0 15 0 404907956 15373000704 17628 33554432000 4194304 4196468 140730081019168 140603943402216 140603955688798 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14762] ppid=14757 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14762/stat : 14762 (java) S 14757 14757 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404907958 15373000704 17628 33554432000 4194304 4196468 140730081019168 140603975851152 140603971618517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14763] ppid=14757 vsize=15012696 memory=139996609316480 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14763/stat : 14763 (java) S 14757 14757 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907958 15373000704 17628 33554432000 4194304 4196468 140730081019168 140603809229840 140603971618517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14764] ppid=14757 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14764/stat : 14764 (java) S 14757 14757 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907958 15373000704 17628 33554432000 4194304 4196468 140730081019168 140603431050128 140603971618517 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14765] ppid=14757 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14765/stat : 14765 (java) S 14757 14757 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404907958 15373000704 17628 33554432000 4194304 4196468 140730081019168 140603429997328 140603971618517 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14766] ppid=14757 vsize=15012696 memory=139996609316480 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14766/stat : 14766 (java) S 14757 14757 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404907959 15373000704 17628 33554432000 4194304 4196468 140730081019168 140603009218928 140603971619458 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14767] ppid=14757 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14767/stat : 14767 (java) S 14757 14757 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404907960 15373000704 17628 33554432000 4194304 4196468 140730081019168 140602599531552 140603971618517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14768] ppid=14757 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14768/stat : 14768 (java) S 14757 14757 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404907960 15373000704 17628 33554432000 4194304 4196468 140730081019168 140602465309552 140603971618517 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14769] ppid=14757 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14769/stat : 14769 (java) S 14757 14757 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404907963 15373000704 17628 33554432000 4194304 4196468 140730081019168 140602090805072 140603971626907 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14770] ppid=14757 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14770/stat : 14770 (java) S 14757 14757 12870 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 15 0 404907963 15373000704 17628 33554432000 4194304 4196468 140730081019168 140603008166768 140603971619458 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14771] ppid=14757 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14771/stat : 14771 (java) S 14757 14757 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907963 15373000704 17628 33554432000 4194304 4196468 140730081019168 140603007113968 140603971619458 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14772] ppid=14757 vsize=15012696 memory=139996609316480 CPUtime=0.01 cores=0,2,4,6
/proc/14760/task/14772/stat : 14772 (java) R 14757 14757 12870 0 -1 4202560 476 0 0 0 1 0 0 0 20 0 15 0 404907963 15373000704 17628 33554432000 4194304 4196468 140730081019168 140603006058104 140603963845438 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14773] ppid=14757 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14773/stat : 14773 (java) S 14757 14757 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404907963 15373000704 17628 33554432000 4194304 4196468 140730081019168 140601592900320 140603971618517 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14774] ppid=14757 vsize=15012696 memory=139996609316480 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14774/stat : 14774 (java) S 14757 14757 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907963 15373000704 17628 33554432000 4194304 4196468 140730081019168 140603005008560 140603971619458 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 71380 KiB
[startup+0.211817 s]*
/proc/loadavg: 2.35 2.12 2.07 3/235 14774
/proc/meminfo: memFree=29426948/32770624 swapFree=66932776/67108860
[pid=14757] ppid=14754 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14757/stat : 14757 (scop.sh) S 14754 14757 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404907956 115843072 349 33554432000 4194304 5098028 140729839204800 140729839202056 139839149449852 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35315712 140729839211363 140729839211632 140729839211632 140729839214541 0
/proc/14757/statm: 28282 349 296 221 0 87 0
[pid=14760] ppid=14757 vsize=15012696 memory=85364 CPUtime=0.25 cores=0,2,4,6
/proc/14760/stat : 14760 (java) S 14757 14757 12870 0 -1 1077944320 12487 0 0 0 22 3 0 0 20 0 15 0 404907956 15373000704 21341 33554432000 4194304 4196468 140730081019168 140730081001712 140603971608311 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
/proc/14760/statm: 3753174 21341 2926 1 0 3715579 0
[pid=14760/tid=14761] ppid=14757 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/14760/task/14761/stat : 14761 (java) R 14757 14757 12870 0 -1 4202560 10143 0 0 0 17 3 0 0 20 0 15 0 404907956 15373000704 21341 33554432000 4194304 4196468 140730081019168 140603943391872 140603971620246 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14762] ppid=14757 vsize=15012696 memory=343 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14762/stat : 14762 (java) S 14757 14757 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404907958 15373000704 21341 33554432000 4194304 4196468 140730081019168 140603975851152 140603971618517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14763] ppid=14757 vsize=15012696 memory=288370372761028224 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14763/stat : 14763 (java) S 14757 14757 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907958 15373000704 21341 33554432000 4194304 4196468 140730081019168 140603809229840 140603971618517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14764] ppid=14757 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14764/stat : 14764 (java) S 14757 14757 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907958 15373000704 21341 33554432000 4194304 4196468 140730081019168 140603431050128 140603971618517 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14765] ppid=14757 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14765/stat : 14765 (java) S 14757 14757 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404907958 15373000704 21341 33554432000 4194304 4196468 140730081019168 140603429997328 140603971618517 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14766] ppid=14757 vsize=15012696 memory=139996609316480 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14766/stat : 14766 (java) S 14757 14757 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404907959 15373000704 21341 33554432000 4194304 4196468 140730081019168 140603009218928 140603971619458 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14767] ppid=14757 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14767/stat : 14767 (java) S 14757 14757 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404907960 15373000704 21341 33554432000 4194304 4196468 140730081019168 140602599531552 140603971618517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14768] ppid=14757 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14768/stat : 14768 (java) S 14757 14757 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404907960 15373000704 21341 33554432000 4194304 4196468 140730081019168 140602465309552 140603971618517 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14769] ppid=14757 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14769/stat : 14769 (java) S 14757 14757 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404907963 15373000704 21341 33554432000 4194304 4196468 140730081019168 140602090805072 140603971626907 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14770] ppid=14757 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14770/stat : 14770 (java) S 14757 14757 12870 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 15 0 404907963 15373000704 21341 33554432000 4194304 4196468 140730081019168 140603008166768 140603971619458 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14771] ppid=14757 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14771/stat : 14771 (java) S 14757 14757 12870 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 404907963 15373000704 21341 33554432000 4194304 4196468 140730081019168 140603007113968 140603971619458 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14772] ppid=14757 vsize=15012696 memory=139996609316480 CPUtime=0.02 cores=0,2,4,6
/proc/14760/task/14772/stat : 14772 (java) R 14757 14757 12870 0 -1 4202560 506 0 0 0 2 0 0 0 20 0 15 0 404907963 15373000704 21341 33554432000 4194304 4196468 140730081019168 140603006061168 140603950743782 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14773] ppid=14757 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14773/stat : 14773 (java) S 14757 14757 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404907963 15373000704 21341 33554432000 4194304 4196468 140730081019168 140601592900320 140603971618517 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14774] ppid=14757 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14774/stat : 14774 (java) S 14757 14757 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907963 15373000704 21341 33554432000 4194304 4196468 140730081019168 140603005008560 140603971619458 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 86760 KiB
[startup+0.310816 s]*
/proc/loadavg: 2.35 2.12 2.07 3/235 14774
/proc/meminfo: memFree=29423736/32770624 swapFree=66932776/67108860
[pid=14757] ppid=14754 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14757/stat : 14757 (scop.sh) S 14754 14757 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404907956 115843072 349 33554432000 4194304 5098028 140729839204800 140729839202056 139839149449852 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35315712 140729839211363 140729839211632 140729839211632 140729839214541 0
/proc/14757/statm: 28282 349 296 221 0 87 0
[pid=14760] ppid=14757 vsize=15012696 memory=89540 CPUtime=0.42 cores=0,2,4,6
/proc/14760/stat : 14760 (java) S 14757 14757 12870 0 -1 1077944320 13429 0 0 0 38 4 0 0 20 0 15 0 404907956 15373000704 22385 33554432000 4194304 4196468 140730081019168 140730081001712 140603971608311 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
/proc/14760/statm: 3753174 22385 3058 1 0 3715579 0
[pid=14760/tid=14761] ppid=14757 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/14760/task/14761/stat : 14761 (java) R 14757 14757 12870 0 -1 4202560 10822 0 0 0 26 4 0 0 20 0 15 0 404907956 15373000704 22385 33554432000 4194304 4196468 140730081019168 140603943398944 140603953171867 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14762] ppid=14757 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14762/stat : 14762 (java) S 14757 14757 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404907958 15373000704 22385 33554432000 4194304 4196468 140730081019168 140603975851152 140603971618517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14763] ppid=14757 vsize=15012696 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14763/stat : 14763 (java) S 14757 14757 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907958 15373000704 22385 33554432000 4194304 4196468 140730081019168 140603809229840 140603971618517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14764] ppid=14757 vsize=15012696 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14764/stat : 14764 (java) S 14757 14757 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907958 15373000704 22385 33554432000 4194304 4196468 140730081019168 140603431050128 140603971618517 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14765] ppid=14757 vsize=15012696 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14765/stat : 14765 (java) S 14757 14757 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404907958 15373000704 22385 33554432000 4194304 4196468 140730081019168 140603429997328 140603971618517 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14766] ppid=14757 vsize=15012696 memory=-9001728533042062950 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14766/stat : 14766 (java) S 14757 14757 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404907959 15373000704 22385 33554432000 4194304 4196468 140730081019168 140603009218928 140603971619458 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14767] ppid=14757 vsize=15012696 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14767/stat : 14767 (java) S 14757 14757 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404907960 15373000704 22385 33554432000 4194304 4196468 140730081019168 140602599531552 140603971618517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14768] ppid=14757 vsize=15012696 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14768/stat : 14768 (java) S 14757 14757 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404907960 15373000704 22385 33554432000 4194304 4196468 140730081019168 140602465309552 140603971618517 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14769] ppid=14757 vsize=15012696 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14769/stat : 14769 (java) S 14757 14757 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404907963 15373000704 22385 33554432000 4194304 4196468 140730081019168 140602090805072 140603971626907 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14770] ppid=14757 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14760/task/14770/stat : 14770 (java) R 14757 14757 12870 0 -1 4202560 542 0 0 0 2 0 0 0 20 0 15 0 404907963 15373000704 22385 33554432000 4194304 4196468 140730081019168 140603008166768 140603949187472 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14771] ppid=14757 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14760/task/14771/stat : 14771 (java) S 14757 14757 12870 0 -1 1077944384 110 0 0 0 2 0 0 0 20 0 15 0 404907963 15373000704 22385 33554432000 4194304 4196468 140730081019168 140603007113968 140603971619458 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14772] ppid=14757 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14760/task/14772/stat : 14772 (java) S 14757 14757 12870 0 -1 1077944384 605 0 0 0 7 0 0 0 20 0 15 0 404907963 15373000704 22385 33554432000 4194304 4196468 140730081019168 140603006061168 140603971619458 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14773] ppid=14757 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14773/stat : 14773 (java) S 14757 14757 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404907963 15373000704 22385 33554432000 4194304 4196468 140730081019168 140601592900320 140603971618517 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14774] ppid=14757 vsize=15012696 memory=3761410793958088753 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14774/stat : 14774 (java) S 14757 14757 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907963 15373000704 22385 33554432000 4194304 4196468 140730081019168 140603005008560 140603971619458 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90936 KiB
[startup+0.703994 s]
/proc/loadavg: 2.35 2.12 2.07 3/235 14774
/proc/meminfo: memFree=29402024/32770624 swapFree=66932776/67108860
[pid=14757] ppid=14754 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14757/stat : 14757 (scop.sh) S 14754 14757 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404907956 115843072 349 33554432000 4194304 5098028 140729839204800 140729839202056 139839149449852 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35315712 140729839211363 140729839211632 140729839211632 140729839214541 0
/proc/14757/statm: 28282 349 296 221 0 87 0
[pid=14760] ppid=14757 vsize=15018968 memory=128544 CPUtime=1.01 cores=0,2,4,6
/proc/14760/stat : 14760 (java) S 14757 14757 12870 0 -1 1077944320 20429 0 0 0 95 6 0 0 20 0 15 0 404907956 15379423232 32136 33554432000 4194304 4196468 140730081019168 140730081001712 140603971608311 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
/proc/14760/statm: 3754742 32136 3189 1 0 3716091 0
[pid=14760/tid=14761] ppid=14757 vsize=15018968 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/14760/task/14761/stat : 14761 (java) R 14757 14757 12870 0 -1 4202560 17218 0 0 0 62 5 0 0 20 0 15 0 404907956 15379423232 32136 33554432000 4194304 4196468 140730081019168 140603943444352 140603971630237 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14762] ppid=14757 vsize=15018968 memory=116 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14762/stat : 14762 (java) S 14757 14757 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404907958 15379423232 32136 33554432000 4194304 4196468 140730081019168 140603975851152 140603971618517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14763] ppid=14757 vsize=15018968 memory=2958609 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14763/stat : 14763 (java) S 14757 14757 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907958 15379423232 32136 33554432000 4194304 4196468 140730081019168 140603809229840 140603971618517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14764] ppid=14757 vsize=15018968 memory=2965990 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14764/stat : 14764 (java) S 14757 14757 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907958 15379423232 32136 33554432000 4194304 4196468 140730081019168 140603431050128 140603971618517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14765] ppid=14757 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14765/stat : 14765 (java) S 14757 14757 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404907958 15379423232 32136 33554432000 4194304 4196468 140730081019168 140603429997328 140603971618517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14766] ppid=14757 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14766/stat : 14766 (java) S 14757 14757 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404907959 15379423232 32136 33554432000 4194304 4196468 140730081019168 140603009218928 140603971619458 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14767] ppid=14757 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14767/stat : 14767 (java) S 14757 14757 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404907960 15379423232 32136 33554432000 4194304 4196468 140730081019168 140602599531552 140603971618517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14768] ppid=14757 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14768/stat : 14768 (java) S 14757 14757 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404907960 15379423232 32136 33554432000 4194304 4196468 140730081019168 140602465309552 140603971618517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14769] ppid=14757 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14769/stat : 14769 (java) S 14757 14757 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404907963 15379423232 32136 33554432000 4194304 4196468 140730081019168 140602090805072 140603971626907 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14770] ppid=14757 vsize=15018968 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14760/task/14770/stat : 14770 (java) R 14757 14757 12870 0 -1 4202560 734 0 0 0 8 0 0 0 20 0 15 0 404907963 15379423232 32136 33554432000 4194304 4196468 140730081019168 140603008153296 140603955509399 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14771] ppid=14757 vsize=15018968 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14760/task/14771/stat : 14771 (java) S 14757 14757 12870 0 -1 1077944384 344 0 0 0 8 0 0 0 20 0 15 0 404907963 15379423232 32136 33554432000 4194304 4196468 140730081019168 140603007113968 140603971619458 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14772] ppid=14757 vsize=15018968 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/14760/task/14772/stat : 14772 (java) S 14757 14757 12870 0 -1 1077944384 778 0 0 0 15 0 0 0 20 0 15 0 404907963 15379423232 32136 33554432000 4194304 4196468 140730081019168 140603006061168 140603971619458 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14773] ppid=14757 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14773/stat : 14773 (java) S 14757 14757 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404907963 15379423232 32136 33554432000 4194304 4196468 140730081019168 140601592900320 140603971618517 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
[pid=14760/tid=14774] ppid=14757 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14760/task/14774/stat : 14774 (java) S 14757 14757 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404907963 15379423232 32136 33554432000 4194304 4196468 140730081019168 140603005008560 140603971619458 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20066304 140730081026857 140730081027226 140730081027226 140730081030095 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 129940 KiB
[startup+1.50081 s]
/proc/loadavg: 2.35 2.12 2.07 5/235 14774
/proc/meminfo: memFree=29277052/32770624 swapFree=66932776/67108860
[pid=14757] ppid=14754 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/14757/stat : 14757 (scop.sh) S 14754 14757 12870 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404907956 115843072 349 33554432000 4194304 5098028 140729839204800 140729839202056 139839149449852 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35315712 140729839211363 140729839211632 140729839211632 140729839214541 0
/proc/14757/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 2017.45 s
Current children cumulated vsize: 9046768 KiB
Current children cumulated memory: 907316 KiB
[startup+1144.4 s]
/proc/loadavg: 2.12 2.77 2.59 3/240 14901
/proc/meminfo: memFree=27308636/32770624 swapFree=66932800/67108860
[pid=14757] ppid=14754 vsize=113128 memory=1476 CPUtime=1843.8 cores=0,2,4,6
/proc/14757/stat : 14757 (scop.sh) S 14754 14757 12870 0 -1 4202496 583 288942 0 0 0 0 183611 769 20 0 1 0 404907956 115843072 369 33554432000 4194304 5098028 140729839204800 140729839201544 139839149449852 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35315712 140729839211363 140729839211632 140729839211632 140729839214541 0
/proc/14757/statm: 28282 369 311 221 0 87 0
[pid=14867] ppid=14757 vsize=8068440 memory=117352 CPUtime=1.26 cores=0,2,4,6
/proc/14867/stat : 14867 (java) S 14757 14757 12870 0 -1 1077944320 20860 0 0 0 115 11 0 0 20 0 19 0 405005044 8262082560 29338 33554432000 4194304 4196468 140736619419616 140736619402160 139643985059575 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
/proc/14867/statm: 2017110 29338 3211 1 0 1978454 0
[pid=14882] ppid=14867 vsize=865200 memory=788488 CPUtime=172.78 cores=0,2,4,6
/proc/14882/stat : 14882 (cryptominisat5) R 14867 14757 12870 0 -1 4202496 1105760 0 0 0 17201 77 0 0 20 0 1 0 405005117 885964800 197122 33554432000 4194304 4451008 140737145541232 140737145535784 139680559485652 0 4 0 2 0 0 0 17 2 0 0 0 0 0 6549032 6559120 19685376 140737145545660 140737145545792 140737145545792 140737145548742 0
/proc/14882/statm: 216300 197122 641 63 0 210027 0
[pid=14867/tid=14868] ppid=14757 vsize=8068440 memory=788488 CPUtime=0.75 cores=0,2,4,6
/proc/14867/task/14868/stat : 14868 (java) S 14757 14757 12870 0 -1 1077944384 17909 0 0 0 70 5 0 0 20 0 19 0 405005045 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643956899744 139643985069781 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14869] ppid=14757 vsize=8068440 memory=8039887049847965608 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14869/stat : 14869 (java) S 14757 14757 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405005046 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643989302032 139643985069781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14870] ppid=14757 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14870/stat : 14870 (java) S 14757 14757 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405005046 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643469777808 139643985069781 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14871] ppid=14757 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14871/stat : 14871 (java) S 14757 14757 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405005046 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643468725264 139643985069781 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14872] ppid=14757 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14872/stat : 14872 (java) S 14757 14757 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405005046 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643467672720 139643985069781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14873] ppid=14757 vsize=8068440 memory=1332 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14873/stat : 14873 (java) S 14757 14757 12870 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 405005047 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643431438320 139643985070722 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14874] ppid=14757 vsize=8068440 memory=8039887049847965608 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14874/stat : 14874 (java) S 14757 14757 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405005048 8262082560 29338 33554432000 4194304 4196468 140736619419616 139642875667360 139643985069781 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14875] ppid=14757 vsize=8068440 memory=5680 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14875/stat : 14875 (java) S 14757 14757 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405005048 8262082560 29338 33554432000 4194304 4196468 140736619419616 139642741445616 139643985069781 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14876] ppid=14757 vsize=8068440 memory=504 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14876/stat : 14876 (java) S 14757 14757 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405005051 8262082560 29338 33554432000 4194304 4196468 140736619419616 139642366941392 139643985078171 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14877] ppid=14757 vsize=8068440 memory=1564 CPUtime=0.1 cores=0,2,4,6
/proc/14867/task/14877/stat : 14877 (java) S 14757 14757 12870 0 -1 1077944384 645 0 0 0 10 0 0 0 20 0 19 0 405005051 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643430386160 139643985070722 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14878] ppid=14757 vsize=8068440 memory=924 CPUtime=0.08 cores=0,2,4,6
/proc/14867/task/14878/stat : 14878 (java) S 14757 14757 12870 0 -1 1077944384 389 0 0 0 8 0 0 0 20 0 19 0 405005051 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643429333616 139643985070722 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14879] ppid=14757 vsize=8068440 memory=1420 CPUtime=0.18 cores=0,2,4,6
/proc/14867/task/14879/stat : 14879 (java) S 14757 14757 12870 0 -1 1077944384 491 0 0 0 18 0 0 0 20 0 19 0 405005051 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643428281072 139643985070722 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14880] ppid=14757 vsize=8068440 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14880/stat : 14880 (java) S 14757 14757 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405005051 8262082560 29338 33554432000 4194304 4196468 140736619419616 139641869036640 139643985069781 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14881] ppid=14757 vsize=8068440 memory=2532 CPUtime=0.1 cores=0,2,4,6
/proc/14867/task/14881/stat : 14881 (java) S 14757 14757 12870 0 -1 1077944384 13 0 0 0 5 5 0 0 20 0 19 0 405005051 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643427227952 139643985070722 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14883] ppid=14757 vsize=8068440 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14883/stat : 14883 (java) S 14757 14757 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405005117 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643419194432 139643985084185 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14885] ppid=14757 vsize=8068440 memory=808 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14885/stat : 14885 (java) S 14757 14757 12870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 405005118 8262082560 29338 33554432000 4194304 4196468 140736619419616 139641332149904 139643985081501 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14886] ppid=14757 vsize=8068440 memory=1772 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14886/stat : 14886 (java) S 14757 14757 12870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 405005118 8262082560 29338 33554432000 4194304 4196468 140736619419616 139641063718672 139643985081501 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14887] ppid=14757 vsize=8068440 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14887/stat : 14887 (java) S 14757 14757 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405005121 8262082560 29338 33554432000 4194304 4196468 140736619419616 139641466379824 139643985069781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
Current children cumulated CPU time: 2017.84 s
Current children cumulated vsize: 9046768 KiB
Current children cumulated memory: 907316 KiB
[startup+1144.6 s]
/proc/loadavg: 2.12 2.77 2.59 3/240 14901
/proc/meminfo: memFree=27308636/32770624 swapFree=66932800/67108860
[pid=14757] ppid=14754 vsize=113128 memory=1476 CPUtime=1843.8 cores=0,2,4,6
/proc/14757/stat : 14757 (scop.sh) S 14754 14757 12870 0 -1 4202496 583 288942 0 0 0 0 183611 769 20 0 1 0 404907956 115843072 369 33554432000 4194304 5098028 140729839204800 140729839201544 139839149449852 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35315712 140729839211363 140729839211632 140729839211632 140729839214541 0
/proc/14757/statm: 28282 369 311 221 0 87 0
[pid=14867] ppid=14757 vsize=8068440 memory=117352 CPUtime=1.27 cores=0,2,4,6
/proc/14867/stat : 14867 (java) S 14757 14757 12870 0 -1 1077944320 20868 0 0 0 116 11 0 0 20 0 19 0 405005044 8262082560 29338 33554432000 4194304 4196468 140736619419616 140736619402160 139643985059575 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
/proc/14867/statm: 2017110 29338 3211 1 0 1978454 0
[pid=14882] ppid=14867 vsize=748544 memory=693144 CPUtime=172.98 cores=0,2,4,6
/proc/14882/stat : 14882 (cryptominisat5) R 14867 14757 12870 0 -1 4202496 1105999 0 0 0 17221 77 0 0 20 0 1 0 405005117 766509056 173286 33554432000 4194304 4451008 140737145541232 140737145537160 139680539803578 0 4 0 2 0 0 0 17 2 0 0 0 0 0 6549032 6559120 19685376 140737145545660 140737145545792 140737145545792 140737145548742 0
/proc/14882/statm: 187136 173286 674 63 0 180863 0
[pid=14867/tid=14868] ppid=14757 vsize=8068440 memory=916 CPUtime=0.75 cores=0,2,4,6
/proc/14867/task/14868/stat : 14868 (java) S 14757 14757 12870 0 -1 1077944384 17909 0 0 0 70 5 0 0 20 0 19 0 405005045 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643956899744 139643985069781 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14869] ppid=14757 vsize=8068440 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14869/stat : 14869 (java) S 14757 14757 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405005046 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643989302032 139643985069781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14870] ppid=14757 vsize=8068440 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14870/stat : 14870 (java) S 14757 14757 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405005046 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643469777808 139643985069781 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14871] ppid=14757 vsize=8068440 memory=288230613214036277 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14871/stat : 14871 (java) S 14757 14757 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405005046 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643468725264 139643985069781 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14872] ppid=14757 vsize=8068440 memory=14697383204226480 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14872/stat : 14872 (java) S 14757 14757 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405005046 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643467672720 139643985069781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14873] ppid=14757 vsize=8068440 memory=1420 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14873/stat : 14873 (java) S 14757 14757 12870 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 405005047 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643431438320 139643985070722 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14874] ppid=14757 vsize=8068440 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14874/stat : 14874 (java) S 14757 14757 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405005048 8262082560 29338 33554432000 4194304 4196468 140736619419616 139642875667360 139643985069781 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14875] ppid=14757 vsize=8068440 memory=2532 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14875/stat : 14875 (java) S 14757 14757 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405005048 8262082560 29338 33554432000 4194304 4196468 140736619419616 139642741445616 139643985069781 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14876] ppid=14757 vsize=8068440 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14876/stat : 14876 (java) S 14757 14757 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405005051 8262082560 29338 33554432000 4194304 4196468 140736619419616 139642366941392 139643985078171 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14877] ppid=14757 vsize=8068440 memory=808 CPUtime=0.1 cores=0,2,4,6
/proc/14867/task/14877/stat : 14877 (java) S 14757 14757 12870 0 -1 1077944384 645 0 0 0 10 0 0 0 20 0 19 0 405005051 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643430386160 139643985070722 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14878] ppid=14757 vsize=8068440 memory=1772 CPUtime=0.08 cores=0,2,4,6
/proc/14867/task/14878/stat : 14878 (java) S 14757 14757 12870 0 -1 1077944384 389 0 0 0 8 0 0 0 20 0 19 0 405005051 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643429333616 139643985070722 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14879] ppid=14757 vsize=8068440 memory=111632 CPUtime=0.18 cores=0,2,4,6
/proc/14867/task/14879/stat : 14879 (java) S 14757 14757 12870 0 -1 1077944384 495 0 0 0 18 0 0 0 20 0 19 0 405005051 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643428281072 139643985070722 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14880] ppid=14757 vsize=8068440 memory=804 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14880/stat : 14880 (java) S 14757 14757 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405005051 8262082560 29338 33554432000 4194304 4196468 140736619419616 139641869036640 139643985069781 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14881] ppid=14757 vsize=8068440 memory=1656 CPUtime=0.1 cores=0,2,4,6
/proc/14867/task/14881/stat : 14881 (java) S 14757 14757 12870 0 -1 1077944384 13 0 0 0 5 5 0 0 20 0 19 0 405005051 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643427227952 139643985070722 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14883] ppid=14757 vsize=8068440 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14883/stat : 14883 (java) S 14757 14757 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405005117 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643419194432 139643985084185 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14885] ppid=14757 vsize=8068440 memory=916 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14885/stat : 14885 (java) S 14757 14757 12870 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 405005118 8262082560 29338 33554432000 4194304 4196468 140736619419616 139641332149904 139643985081501 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14886] ppid=14757 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14886/stat : 14886 (java) S 14757 14757 12870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 405005118 8262082560 29338 33554432000 4194304 4196468 140736619419616 139641063718672 139643985081501 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14887] ppid=14757 vsize=8068440 memory=-8961168018402230209 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14887/stat : 14887 (java) S 14757 14757 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405005121 8262082560 29338 33554432000 4194304 4196468 140736619419616 139641466379824 139643985069781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
Current children cumulated CPU time: 2018.05 s
Current children cumulated vsize: 8930112 KiB
Current children cumulated memory: 811972 KiB
[startup+1144.7 s]
/proc/loadavg: 2.12 2.77 2.59 3/240 14901
/proc/meminfo: memFree=27308636/32770624 swapFree=66932800/67108860
[pid=14757] ppid=14754 vsize=113128 memory=1476 CPUtime=1843.8 cores=0,2,4,6
/proc/14757/stat : 14757 (scop.sh) S 14754 14757 12870 0 -1 4202496 583 288942 0 0 0 0 183611 769 20 0 1 0 404907956 115843072 369 33554432000 4194304 5098028 140729839204800 140729839201544 139839149449852 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35315712 140729839211363 140729839211632 140729839211632 140729839214541 0
/proc/14757/statm: 28282 369 311 221 0 87 0
[pid=14867] ppid=14757 vsize=8068440 memory=117352 CPUtime=1.27 cores=0,2,4,6
/proc/14867/stat : 14867 (java) S 14757 14757 12870 0 -1 1077944320 20868 0 0 0 116 11 0 0 20 0 19 0 405005044 8262082560 29338 33554432000 4194304 4196468 140736619419616 140736619402160 139643985059575 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
/proc/14867/statm: 2017110 29338 3211 1 0 1978454 0
[pid=14882] ppid=14867 vsize=748544 memory=693144 CPUtime=173.08 cores=0,2,4,6
/proc/14882/stat : 14882 (cryptominisat5) R 14867 14757 12870 0 -1 4202496 1106346 0 0 0 17231 77 0 0 20 0 1 0 405005117 766509056 173286 33554432000 4194304 4451008 140737145541232 140737145537160 139680539803643 0 4 0 2 0 0 0 17 2 0 0 0 0 0 6549032 6559120 19685376 140737145545660 140737145545792 140737145545792 140737145548742 0
/proc/14882/statm: 187136 173286 674 63 0 180863 0
[pid=14867/tid=14868] ppid=14757 vsize=8068440 memory=117352 CPUtime=0.75 cores=0,2,4,6
/proc/14867/task/14868/stat : 14868 (java) S 14757 14757 12870 0 -1 1077944384 17909 0 0 0 70 5 0 0 20 0 19 0 405005045 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643956899744 139643985069781 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14869] ppid=14757 vsize=8068440 memory=117352 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14869/stat : 14869 (java) S 14757 14757 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405005046 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643989302032 139643985069781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14870] ppid=14757 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14870/stat : 14870 (java) S 14757 14757 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405005046 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643469777808 139643985069781 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14871] ppid=14757 vsize=8068440 memory=117352 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14871/stat : 14871 (java) S 14757 14757 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405005046 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643468725264 139643985069781 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14872] ppid=14757 vsize=8068440 memory=117352 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14872/stat : 14872 (java) S 14757 14757 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405005046 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643467672720 139643985069781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14873] ppid=14757 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14873/stat : 14873 (java) S 14757 14757 12870 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 405005047 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643431438320 139643985070722 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14874] ppid=14757 vsize=8068440 memory=117352 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14874/stat : 14874 (java) S 14757 14757 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405005048 8262082560 29338 33554432000 4194304 4196468 140736619419616 139642875667360 139643985069781 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14875] ppid=14757 vsize=8068440 memory=788488 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14875/stat : 14875 (java) S 14757 14757 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405005048 8262082560 29338 33554432000 4194304 4196468 140736619419616 139642741445616 139643985069781 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14876] ppid=14757 vsize=8068440 memory=117352 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14876/stat : 14876 (java) S 14757 14757 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405005051 8262082560 29338 33554432000 4194304 4196468 140736619419616 139642366941392 139643985078171 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14877] ppid=14757 vsize=8068440 memory=1476 CPUtime=0.1 cores=0,2,4,6
/proc/14867/task/14877/stat : 14877 (java) S 14757 14757 12870 0 -1 1077944384 645 0 0 0 10 0 0 0 20 0 19 0 405005051 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643430386160 139643985070722 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14878] ppid=14757 vsize=8068440 memory=117352 CPUtime=0.08 cores=0,2,4,6
/proc/14867/task/14878/stat : 14878 (java) S 14757 14757 12870 0 -1 1077944384 389 0 0 0 8 0 0 0 20 0 19 0 405005051 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643429333616 139643985070722 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14879] ppid=14757 vsize=8068440 memory=117352 CPUtime=0.18 cores=0,2,4,6
/proc/14867/task/14879/stat : 14879 (java) S 14757 14757 12870 0 -1 1077944384 495 0 0 0 18 0 0 0 20 0 19 0 405005051 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643428281072 139643985070722 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14880] ppid=14757 vsize=8068440 memory=117352 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14880/stat : 14880 (java) S 14757 14757 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405005051 8262082560 29338 33554432000 4194304 4196468 140736619419616 139641869036640 139643985069781 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14881] ppid=14757 vsize=8068440 memory=1476 CPUtime=0.1 cores=0,2,4,6
/proc/14867/task/14881/stat : 14881 (java) S 14757 14757 12870 0 -1 1077944384 13 0 0 0 5 5 0 0 20 0 19 0 405005051 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643427227952 139643985070722 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14883] ppid=14757 vsize=8068440 memory=117352 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14883/stat : 14883 (java) S 14757 14757 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405005117 8262082560 29338 33554432000 4194304 4196468 140736619419616 139643419194432 139643985084185 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14885] ppid=14757 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14885/stat : 14885 (java) S 14757 14757 12870 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 405005118 8262082560 29338 33554432000 4194304 4196468 140736619419616 139641332149904 139643985081501 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14886] ppid=14757 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14886/stat : 14886 (java) S 14757 14757 12870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 405005118 8262082560 29338 33554432000 4194304 4196468 140736619419616 139641063718672 139643985081501 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
[pid=14867/tid=14887] ppid=14757 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14867/task/14887/stat : 14887 (java) S 14757 14757 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405005121 8262082560 29338 33554432000 4194304 4196468 140736619419616 139641466379824 139643985069781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12926976 140736619422715 140736619422874 140736619422874 140736619425743 0
Current children cumulated CPU time: 2018.15 s
Current children cumulated vsize: 8930112 KiB
Current children cumulated memory: 811972 KiB
Child status: 0
Real time (s): 1144.79
CPU time (s): 2018.28
CPU user time (s): 2009.63
CPU system time (s): 8.65696
CPU usage (%): 176.302
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 12084352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2009.63
system time used= 8.65696
maximum resident set size= 12083428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1417008
page faults= 0
swaps= 0
block input operations= 8
block output operations= 312832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38193
involuntary context switches= 13491
# summary of solver processes directly reported to runsolver:
# pid: 14757
# total CPU time (s): 2018.28
# total CPU user time (s): 2009.63
# total CPU system time (s): 8.65696
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.39649 second user time and 11.6468 second system time
The end