0.00/0.02 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-5147-serial-file.bin HOME/instance-4387666-1568287536.xml
0.65/0.54
0.65/0.54 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.65/0.54
0.65/0.57 c BEGIN-Prog: Thu Sep 12 13:24:58 CEST 2019
0.65/0.57 c PID: 5150
0.65/0.57 c IP: 172.20.3.119
0.65/0.57 c HOST: node119.alineos.net
0.65/0.57 c (0,0) Parsing Begin
20.49/14.25 c (13,12) Parsing End
20.49/14.26 c (13,12) CSP: 12 int (0 aux), 0 bool (0 aux), 95 ctr, max domain size 12
20.49/14.26 c (13,12) Heap : 1663 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
20.49/14.26 c (13,12) Constraint Name Generate Begin
20.49/14.26 c (13,12) Ctr:HOME/instance-4387666-1568287536.xml,ExtensionSupport:Var
20.49/14.26 c (13,12) Constraint Name Generate End
20.49/14.26 c (13,12) Heap : 1668 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
20.49/14.26 c (13,12) CSP to CSPinCNF Begin
71.39/48.10 c (47,44) translated 10 (10%) constraints
105.57/79.34 c (78,74) translated 19 (20%) constraints
142.98/113.96 c (113,108) translated 29 (30%) constraints
177.89/145.41 c (144,138) translated 38 (40%) constraints
214.97/180.00 c (179,172) translated 48 (50%) constraints
249.17/211.32 c (210,202) translated 57 (60%) constraints
287.49/246.08 c (245,236) translated 67 (70%) constraints
321.44/277.25 c (276,267) translated 76 (80%) constraints
359.31/312.04 c (311,300) translated 86 (90%) constraints
393.03/343.24 c (342,331) translated 95 (100%) constraints
396.44/346.61 c (346,334) ===========================================
398.40/347.88 c (347,335) Hybrid: #OE=382413, #LE=0
398.40/347.88 c (347,335) Hybrid
398.40/347.88 c (347,335) ===========================================
408.86/357.62 c (357,345) translated 457468 (10%) constraints
420.12/367.74 c (367,355) translated 914936 (20%) constraints
431.72/377.92 c (377,364) translated 1372404 (30%) constraints
443.29/388.11 c (387,374) translated 1829872 (40%) constraints
454.79/398.29 c (397,384) translated 2287339 (50%) constraints
466.28/408.45 c (407,394) translated 2744807 (60%) constraints
477.88/418.61 c (418,403) translated 3202275 (70%) constraints
489.44/428.80 c (428,413) translated 3659743 (80%) constraints
500.94/438.99 c (438,423) translated 4117211 (90%) constraints
512.52/449.20 c (448,432) translated 4574678 (100%) constraints
512.52/449.20 c (448,432) CSP to CSPinCNF End
512.64/449.33 c (448,433) CSP: 12 int (0 aux), 382401 bool (382401 aux), 4574678 ctr, max domain size 12
512.64/449.33 c (448,433) Heap : 8244 MiB used (max 10966 MiB), NonHeap : 26 MiB used (max 0 MiB)
512.64/449.33 c (448,433) CSPinCNF Propagation Begin
641.89/501.39 c (500,457) 18 values, 245487 unsatisfiable literals, and 245163 valid clauses are removed
641.89/501.39 c (500,457) CSPinCNF Propagation End
642.10/501.50 c (500,457) CSP: 12 int (0 aux), 382401 bool (382401 aux), 4329515 ctr, max domain size 12
642.10/501.50 c (500,457) Heap : 7858 MiB used (max 10813 MiB), NonHeap : 27 MiB used (max 0 MiB)
642.92/502.36 c (501,458) Hybrid: #OE=382413, #LE=0
642.92/502.36 c (501,458) Simplify CSPinCNF Begin
687.50/519.61 c (519,466) Simplify CSPinCNF End
687.60/519.72 c (519,466) CSP: 12 int (0 aux), 382401 bool (382401 aux), 4329515 ctr, max domain size 12
687.60/519.72 c (519,466) Heap : 6510 MiB used (max 10628 MiB), NonHeap : 27 MiB used (max 0 MiB)
687.60/519.72 c (519,466) Calculate Precise Domain Begin
687.60/519.72 c (519,466) 0 values are removed by re-calculation
687.60/519.72 c (519,466) Calculate Precise Domain End
687.70/519.83 c (519,467) CSP: 12 int (0 aux), 382401 bool (382401 aux), 4329515 ctr, max domain size 12
687.70/519.83 c (519,467) Heap : 6510 MiB used (max 10628 MiB), NonHeap : 27 MiB used (max 0 MiB)
687.70/519.83 c (519,467) CSPinCNF to SatSolver Begin
695.96/525.42 c (524,472) 432952 (10 %) CSP clauses are encoded (0 SAT variables, 433043 SAT clauses)
700.74/529.70 c (529,476) 865903 (20 %) CSP clauses are encoded (0 SAT variables, 865994 SAT clauses)
706.62/534.49 c (533,480) 1298855 (30 %) CSP clauses are encoded (0 SAT variables, 1298946 SAT clauses)
712.09/538.96 c (538,484) 1731806 (40 %) CSP clauses are encoded (0 SAT variables, 1731897 SAT clauses)
719.50/543.92 c (543,488) 2164758 (50 %) CSP clauses are encoded (0 SAT variables, 2164849 SAT clauses)
725.56/548.57 c (548,492) 2597709 (60 %) CSP clauses are encoded (0 SAT variables, 2597800 SAT clauses)
734.26/553.84 c (553,496) 3030661 (70 %) CSP clauses are encoded (0 SAT variables, 3030752 SAT clauses)
743.09/559.17 c (558,501) 3463612 (80 %) CSP clauses are encoded (0 SAT variables, 3463703 SAT clauses)
751.26/564.32 c (563,505) 3896564 (90 %) CSP clauses are encoded (0 SAT variables, 3896655 SAT clauses)
756.97/568.87 c (568,509) 4329515 (100 %) CSP clauses are encoded (0 SAT variables, 4329606 SAT clauses)
756.97/568.87 c (568,509) CSPinCNF to SatSolver End
756.97/568.87 c (568,509) Heap : 9254 MiB used (max 10483 MiB), NonHeap : 29 MiB used (max 0 MiB)
756.97/568.87 c (568,509) 382487 bool, 4329607 clause
756.97/568.87 c (568,509) Export Begin
757.08/568.95 c (568,509) Export to HOME/scop-5147-serial-file.bin
757.08/568.95 c (568,509) Export End
757.08/568.96 c (568,509) Export File Size: 0.00 MB
757.08/568.96 c (568,509) 13,13,448,500,519,519,568,STOP-AFTER(DIMACS)
757.08/568.96 c END-Prog: Thu Sep 12 13:34:27 CEST 2019
757.08/569.00 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-5147-serial-file.bin
757.26/569.46 c (0,0) Read Serial File Begin
757.26/569.46 c (0,0) HOME/scop-5147-serial-file.bin
757.26/569.66 c (0,0) Read Serial File End
757.26/569.68
757.26/569.68 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
757.26/569.68 (Solving Process)
757.26/569.68
757.26/569.70 c BEGIN-Prog: Thu Sep 12 13:34:27 CEST 2019
757.26/569.70 c PID: 5221
757.26/569.70 c IP: 172.20.3.119
757.26/569.70 c HOST: node119.alineos.net
757.26/569.70 c (0,0) SatSolver.solve Begin
757.26/569.70 c (0,0) HOME/cryptominisat5 HOME/instance-4387666-1568287536.xml-scop-5150.cnf
757.26/569.74 c (0,0) c Outputting solution to console
757.26/569.74 c (0,0) c CryptoMiniSat version 5.6.8
757.26/569.74 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
757.26/569.74 c (0,0) c CMS SHA revision GIT-notfound
757.26/569.74 c (0,0) c CMS is MIT licensed
757.26/569.74 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
757.26/569.74 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
757.26/569.74 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387666-1568287536.xml-scop-5150.cnf
757.26/569.74 c (0,0) c Reading file 'HOME/instance-4387666-1568287536.xml-scop-5150.cnf'
757.26/569.74 c (0,0) c -- header says num vars: 382487
757.26/569.74 c (0,0) c -- header says num clauses: 4329607
760.08/571.42 c (2,0) c -- clauses added: 4329607
760.08/571.42 c (2,0) c -- xor clauses added: 0
760.08/571.42 c (2,0) c -- vars added 382487
760.08/571.42 c (2,0) c Parsing time: 1.55 s
761.79/573.19 c (3,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
761.98/573.37 c (3,0) c [distill] long cls tried: 8/8 cl-short:8 lit-r:0 T: 0.18 T-out: N T-r: 99.13%
841.75/653.01 c (83,0) c [distill] long cls tried: 170/177 cl-short:170 lit-r:35 T: 4.86 T-out: N T-r: 74.84%
969.43/780.64 c (211,0) c [distill] long cls tried: 332/509 cl-short:332 lit-r:174 T: 11.67 T-out: N T-r: 41.45%
974.23/785.47 c (216,0) c glue 1 34 8193 382487 3777K 551K 4.04 3.78 561 2555 5084 6 23.98 23.96
1096.21/907.37 c (337,0) c [distill] long cls tried: 659/1894 cl-short:659 lit-r:373 T: 19.97 T-out: Y T-r: -0.52%
1179.26/990.35 c (420,0) c geom 1 56 16386 382487 3777K 551K 4.04 3.78 2107 5441 8867 7 22.82 22.81
1230.00/1041.11 c (471,0) c [distill] long cls tried: 575/2182 cl-short:575 lit-r:518 T: 20.06 T-out: Y T-r: -0.45%
1410.62/1221.53 c (652,0) c [distill] long cls tried: 567/3338 cl-short:567 lit-r:1515 T: 20.05 T-out: Y T-r: -0.88%
1411.92/1222.82 c (653,0) c glue 1 69 24K 382487 3777K 551K 4.04 3.78 3339 6764 14561 15 21.94 21.92
1604.54/1415.33 c (845,0) c [distill] long cls tried: 698/4546 cl-short:698 lit-r:415 T: 20.18 T-out: Y T-r: -0.54%
1608.15/1418.93 c (849,0) c glue 1 84 32K 382487 3777K 551K 4.04 3.78 4553 10224 18073 16 20.97 20.96
1811.89/1622.52 c (1053,0) c glue 1 92 40K 382487 3777K 551K 4.04 3.78 5632 8418 26K 17 19.97 19.96
1857.91/1668.55 c (1099,0) c [distill] long cls tried: 721/5667 cl-short:721 lit-r:427 T: 19.92 T-out: Y T-r: -0.48%
1978.80/1789.37 c (1219,0) c glue 1 101 49K 382487 3777K 551K 4.04 3.78 5978 13003 27K 18 18.66 18.66
2107.17/1917.66 c (1348,0) c [distill] long cls tried: 883/7042 cl-short:883 lit-r:533 T: 19.84 T-out: Y T-r: -0.38%
2172.42/1982.85 c (1413,0) c geom 1 110 57K 382487 3777K 551K 4.04 3.78 7189 11551 35K 20 18.10 18.09
2367.05/2177.39 c (1607,0) c glue 1 122 65K 382487 3777K 551K 4.04 3.78 8442 11628 36K 22 16.53 16.52
2490.34/2300.55 c (1731,0) c [distill] long cls tried: 725/8587 cl-short:725 lit-r:276 T: 19.53 T-out: Y T-r: -0.15%
2511.75/2322.00 c (1752,0) c recursive minimization cost OK: 227Kcost/(% lits removed)
2511.75/2322.00 c (1752,0) c more minimization effectiveness low: 0.00 % lits removed --> disabling
2511.97/2322.13 c (1752,0) c --> Executing strategy token: handle-comps
2511.97/2322.13 c (1752,0) c --> Executing strategy token: scc-vrepl
2511.97/2322.13 c (1752,0) c [scc] new: 1472 BP 2M T: 0.12
2512.86/2323.07 c (1753,0) c [vrep] vars 1472 lits 7565173 rem-bin-cls 5888 rem-long-cls 16 BP 56M T: 0.92
2513.25/2323.42 c (1754,0) c --> Executing strategy token: cache-clean
2513.25/2323.42 c (1754,0) c --> Executing strategy token: cache-tryboth
2513.25/2323.42 c (1754,0) c --> Executing strategy token: sub-impl
2513.25/2323.42 c (1754,0) c [impl sub] bin: 1 T: 0.34 T-out: N w-visit: 764974
2513.55/2323.70 c (1754,0) c --> Executing strategy token: intree-probe
2513.55/2323.70 c (1754,0) c [scc] new: 0 BP 2M T: 0.12
2513.75/2323.96 c (1754,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 11M T: 0.25
2514.86/2325.03 c (1755,0) c [intree] intra-propagation timeout, turning off OTF hyper-bin&trans-red
2514.86/2325.08 c (1755,0) c [intree] Set 0 vars hyper-added: 14138 trans-irred::0 trans-red::0 T: 1.11 T-out: N T-r: 56.56%
2515.87/2326.09 c (1756,0) c --> Executing strategy token: probe
2515.87/2326.09 c (1756,0) c --> Executing strategy token: sub-str-cls-with-bin
2515.87/2326.09 c (1756,0) c [distill] cache-based irred-- cl tried 2862 cl-sh 2 cl-rem 36 lit-rem 2 T: 0.54 T-out: Y
2515.87/2326.09 c (1756,0) c [distill] cache-based red-- cl tried 3372 cl-sh 19 cl-rem 0 lit-rem 23 T: 0.30 T-out: Y
2517.97/2328.20 c (1758,0) c --> Executing strategy token: distill-cls
2517.97/2328.20 c (1758,0) c [distill] long cls tried: 57/3777756 cl-short:1 lit-r:10 T: 2.09 T-out: Y T-r: -4.31%
2517.97/2328.20 c (1758,0) c [distill] long useful: 2/114/7555512 lits-rem: 20 0-depth-assigns: 0 T: 4.19 T-out: Y
2518.16/2328.31 c (1758,0) c --> Executing strategy token: scc-vrepl
2518.16/2328.31 c (1758,0) c [scc] new: 0 BP 2M T: 0.12
2518.46/2328.62 c (1759,0) c --> Executing strategy token: sub-impl
2518.46/2328.62 c (1759,0) c [impl sub] bin: 0 T: 0.30 T-out: N w-visit: 764974
2518.56/2328.73 c (1759,0) c --> Executing strategy token: str-impl
2518.56/2328.73 c (1759,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.11 T-out: N T-r: 94.78% w-visit: 764974
2518.87/2329.03 c (1759,0) c --> Executing strategy token: sub-impl
2518.87/2329.03 c (1759,0) c [impl sub] bin: 0 T: 0.30 T-out: N w-visit: 764974
2519.26/2329.47 c (1760,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
2519.26/2329.47 c (1760,0) c [occ] mem usage for occur 494 MB
2520.06/2330.20 c (1760,0) receiving signal SIGTERM
2520.06/2330.20 s UNKNOWN
2520.06/2330.21 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.06/2330.21 c (scop.sh) Remove HOME/scop-5147-serial-file.bin.
2520.06/2330.21 c (scop.sh) Killing background jobs.
2520.06/2330.21 c (1760,0) receiving signal SIGTERM
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 (3798 MiB free)
memory of node 1: 16384 MiB (8896 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387666-1568287536/watcher-4387666-1568287536 -o /tmp/evaluation-result-4387666-1568287536/solver-4387666-1568287536 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568285951-4194 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387666-1568287536.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=5147, runsolver pid=5144
[startup+0.100159 s]*
/proc/loadavg: 3.87 3.76 3.00 3/234 5165
/proc/meminfo: memFree=12944476/32770624 swapFree=66939824/67108860
[pid=5147] ppid=5144 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/5147/stat : 5147 (scop.sh) S 5144 5147 3344 0 -1 4202496 554 320 0 1 0 0 0 0 20 0 1 0 404668627 115843072 348 33554432000 4194304 5098028 140730597776160 140730597773416 140427995374204 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39276544 140730597782371 140730597782640 140730597782640 140730597785549 0
/proc/5147/statm: 28282 348 296 221 0 87 0
[pid=5150] ppid=5147 vsize=15012696 memory=66180 CPUtime=0.08 cores=1,3,5,7
/proc/5150/stat : 5150 (java) S 5147 5147 3344 0 -1 1077944320 6295 0 0 0 6 2 0 0 20 0 15 0 404668629 15373000704 16545 33554432000 4194304 4196468 140736634727792 140736634710336 140282007994103 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
/proc/5150/statm: 3753174 16545 2776 1 0 3715579 0
[pid=5150/tid=5151] ppid=5147 vsize=15012696 memory=-7828588039587137883 CPUtime=0.07 cores=1,3,5,7
/proc/5150/task/5151/stat : 5151 (java) R 5147 5147 3344 0 -1 4202560 4416 0 0 0 6 1 0 0 20 0 15 0 404668630 15373000704 16545 33554432000 4194304 4196468 140736634727792 140281979830944 140281994062222 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5152] ppid=5147 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5152/stat : 5152 (java) S 5147 5147 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404668631 15373000704 16545 33554432000 4194304 4196468 140736634727792 140282012236176 140282008004309 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5153] ppid=5147 vsize=15012696 memory=140365012121216 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5153/stat : 5153 (java) S 5147 5147 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404668631 15373000704 17057 33554432000 4194304 4196468 140736634727792 140281826392336 140282008004309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5154] ppid=5147 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5154/stat : 5154 (java) S 5147 5147 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404668631 15373000704 17057 33554432000 4194304 4196468 140736634727792 140281825340048 140282008004309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5155] ppid=5147 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5155/stat : 5155 (java) S 5147 5147 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404668631 15373000704 17057 33554432000 4194304 4196468 140736634727792 140281824287248 140282008004309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5156] ppid=5147 vsize=15012696 memory=140365012121216 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5156/stat : 5156 (java) S 5147 5147 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404668633 15373000704 17057 33554432000 4194304 4196468 140736634727792 140280978156144 140282008005250 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5157] ppid=5147 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5157/stat : 5157 (java) S 5147 5147 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404668633 15373000704 17057 33554432000 4194304 4196468 140736634727792 140280611202336 140282008004309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5159] ppid=5147 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5159/stat : 5159 (java) S 5147 5147 3344 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404668633 15373000704 17057 33554432000 4194304 4196468 140736634727792 140280476980848 140282008004309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5160] ppid=5147 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5160/stat : 5160 (java) S 5147 5147 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404668636 15373000704 17057 33554432000 4194304 4196468 140736634727792 140280102476368 140282008012699 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5161] ppid=5147 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5161/stat : 5161 (java) S 5147 5147 3344 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 404668636 15373000704 17057 33554432000 4194304 4196468 140736634727792 140280977102960 140282008005250 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5162] ppid=5147 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5162/stat : 5162 (java) S 5147 5147 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404668636 15373000704 17057 33554432000 4194304 4196468 140736634727792 140280976050160 140282008005250 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5163] ppid=5147 vsize=15012696 memory=140365012121216 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5163/stat : 5163 (java) S 5147 5147 3344 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 15 0 404668636 15373000704 17057 33554432000 4194304 4196468 140736634727792 140280974997872 140282008005250 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5164] ppid=5147 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5164/stat : 5164 (java) S 5147 5147 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404668636 15373000704 17057 33554432000 4194304 4196468 140736634727792 140279604570592 140282008004309 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5165] ppid=5147 vsize=15012696 memory=140365012121216 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5165/stat : 5165 (java) S 5147 5147 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404668636 15373000704 17057 33554432000 4194304 4196468 140736634727792 140280973945776 140282008005250 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 67572 KiB
[startup+0.210618 s]*
/proc/loadavg: 3.87 3.76 3.00 3/234 5165
/proc/meminfo: memFree=12923324/32770624 swapFree=66939824/67108860
[pid=5147] ppid=5144 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/5147/stat : 5147 (scop.sh) S 5144 5147 3344 0 -1 4202496 554 320 0 1 0 0 0 0 20 0 1 0 404668627 115843072 348 33554432000 4194304 5098028 140730597776160 140730597773416 140427995374204 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39276544 140730597782371 140730597782640 140730597782640 140730597785549 0
/proc/5147/statm: 28282 348 296 221 0 87 0
[pid=5150] ppid=5147 vsize=15012696 memory=85696 CPUtime=0.23 cores=1,3,5,7
/proc/5150/stat : 5150 (java) S 5147 5147 3344 0 -1 1077944320 12024 0 0 0 20 3 0 0 20 0 15 0 404668629 15373000704 21424 33554432000 4194304 4196468 140736634727792 140736634710336 140282007994103 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
/proc/5150/statm: 3753174 21424 2943 1 0 3715579 0
[pid=5150/tid=5151] ppid=5147 vsize=15012696 memory=7022364632946311227 CPUtime=0.18 cores=1,3,5,7
/proc/5150/task/5151/stat : 5151 (java) R 5147 5147 3344 0 -1 4202560 9758 0 0 0 16 2 0 0 20 0 15 0 404668630 15373000704 21424 33554432000 4194304 4196468 140736634727792 140281979793488 140281992074590 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5152] ppid=5147 vsize=15012696 memory=540 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5152/stat : 5152 (java) S 5147 5147 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404668631 15373000704 21424 33554432000 4194304 4196468 140736634727792 140282012236176 140282008004309 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5153] ppid=5147 vsize=15012696 memory=288370741163832960 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5153/stat : 5153 (java) S 5147 5147 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404668631 15373000704 21424 33554432000 4194304 4196468 140736634727792 140281826392336 140282008004309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5154] ppid=5147 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5154/stat : 5154 (java) S 5147 5147 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404668631 15373000704 21424 33554432000 4194304 4196468 140736634727792 140281825340048 140282008004309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5155] ppid=5147 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5155/stat : 5155 (java) S 5147 5147 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404668631 15373000704 21424 33554432000 4194304 4196468 140736634727792 140281824287248 140282008004309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5156] ppid=5147 vsize=15012696 memory=140365012121216 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5156/stat : 5156 (java) S 5147 5147 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404668633 15373000704 21424 33554432000 4194304 4196468 140736634727792 140280978156144 140282008005250 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5157] ppid=5147 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5157/stat : 5157 (java) S 5147 5147 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404668633 15373000704 21424 33554432000 4194304 4196468 140736634727792 140280611202336 140282008004309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5159] ppid=5147 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5159/stat : 5159 (java) S 5147 5147 3344 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404668633 15373000704 21424 33554432000 4194304 4196468 140736634727792 140280476980848 140282008004309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5160] ppid=5147 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5160/stat : 5160 (java) S 5147 5147 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404668636 15373000704 21424 33554432000 4194304 4196468 140736634727792 140280102476368 140282008012699 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5161] ppid=5147 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5161/stat : 5161 (java) S 5147 5147 3344 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 404668636 15373000704 21424 33554432000 4194304 4196468 140736634727792 140280977102960 140282008005250 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5162] ppid=5147 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5162/stat : 5162 (java) S 5147 5147 3344 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 15 0 404668636 15373000704 21424 33554432000 4194304 4196468 140736634727792 140280976050160 140282008005250 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5163] ppid=5147 vsize=15012696 memory=140365012121216 CPUtime=0.02 cores=1,3,5,7
/proc/5150/task/5163/stat : 5163 (java) S 5147 5147 3344 0 -1 1077944384 443 0 0 0 2 0 0 0 20 0 15 0 404668636 15373000704 21424 33554432000 4194304 4196468 140736634727792 140280974997872 140282008005250 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5164] ppid=5147 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5164/stat : 5164 (java) S 5147 5147 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404668636 15373000704 21424 33554432000 4194304 4196468 140736634727792 140279604570592 140282008004309 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5165] ppid=5147 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5165/stat : 5165 (java) S 5147 5147 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404668636 15373000704 21424 33554432000 4194304 4196468 140736634727792 140280973945776 140282008005250 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87088 KiB
[startup+0.310717 s]*
/proc/loadavg: 3.87 3.76 3.00 3/234 5165
/proc/meminfo: memFree=12920284/32770624 swapFree=66939824/67108860
[pid=5147] ppid=5144 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/5147/stat : 5147 (scop.sh) S 5144 5147 3344 0 -1 4202496 554 320 0 1 0 0 0 0 20 0 1 0 404668627 115843072 348 33554432000 4194304 5098028 140730597776160 140730597773416 140427995374204 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39276544 140730597782371 140730597782640 140730597782640 140730597785549 0
/proc/5147/statm: 28282 348 296 221 0 87 0
[pid=5150] ppid=5147 vsize=15012696 memory=89900 CPUtime=0.41 cores=1,3,5,7
/proc/5150/stat : 5150 (java) S 5147 5147 3344 0 -1 1077944320 13037 0 0 0 37 4 0 0 20 0 15 0 404668629 15373000704 22475 33554432000 4194304 4196468 140736634727792 140736634710336 140282007994103 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
/proc/5150/statm: 3753174 22475 3059 1 0 3715579 0
[pid=5150/tid=5151] ppid=5147 vsize=15012696 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/5150/task/5151/stat : 5151 (java) R 5147 5147 3344 0 -1 4202560 10591 0 0 0 25 3 0 0 20 0 15 0 404668630 15373000704 22475 33554432000 4194304 4196468 140736634727792 140281979811600 140281991180912 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5152] ppid=5147 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5152/stat : 5152 (java) S 5147 5147 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404668631 15373000704 22475 33554432000 4194304 4196468 140736634727792 140282012236176 140282008004309 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5153] ppid=5147 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5153/stat : 5153 (java) S 5147 5147 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404668631 15373000704 22475 33554432000 4194304 4196468 140736634727792 140281826392336 140282008004309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5154] ppid=5147 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5154/stat : 5154 (java) S 5147 5147 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404668631 15373000704 22475 33554432000 4194304 4196468 140736634727792 140281825340048 140282008004309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5155] ppid=5147 vsize=15012696 memory=6933954179156714387 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5155/stat : 5155 (java) S 5147 5147 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404668631 15373000704 22475 33554432000 4194304 4196468 140736634727792 140281824287248 140282008004309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5156] ppid=5147 vsize=15012696 memory=7684433391216329786 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5156/stat : 5156 (java) S 5147 5147 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404668633 15373000704 22475 33554432000 4194304 4196468 140736634727792 140280978156144 140282008005250 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5157] ppid=5147 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5157/stat : 5157 (java) S 5147 5147 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404668633 15373000704 22475 33554432000 4194304 4196468 140736634727792 140280611202336 140282008004309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5159] ppid=5147 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5159/stat : 5159 (java) S 5147 5147 3344 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404668633 15373000704 22475 33554432000 4194304 4196468 140736634727792 140280476980848 140282008004309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5160] ppid=5147 vsize=15012696 memory=-8412656567168561567 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5160/stat : 5160 (java) S 5147 5147 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404668636 15373000704 22475 33554432000 4194304 4196468 140736634727792 140280102476368 140282008012699 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5161] ppid=5147 vsize=15012696 memory=-7384621950708166502 CPUtime=0.01 cores=1,3,5,7
/proc/5150/task/5161/stat : 5161 (java) S 5147 5147 3344 0 -1 1077944384 314 0 0 0 1 0 0 0 20 0 15 0 404668636 15373000704 22475 33554432000 4194304 4196468 140736634727792 140280977102960 140282008005250 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5162] ppid=5147 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5150/task/5162/stat : 5162 (java) S 5147 5147 3344 0 -1 1077944384 286 0 0 0 3 0 0 0 20 0 15 0 404668636 15373000704 22475 33554432000 4194304 4196468 140736634727792 140280976050160 140282008005250 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5163] ppid=5147 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5150/task/5163/stat : 5163 (java) S 5147 5147 3344 0 -1 1077944384 497 0 0 0 7 0 0 0 20 0 15 0 404668636 15373000704 22475 33554432000 4194304 4196468 140736634727792 140280974997872 140282008005250 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5164] ppid=5147 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5164/stat : 5164 (java) S 5147 5147 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404668636 15373000704 22475 33554432000 4194304 4196468 140736634727792 140279604570592 140282008004309 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5165] ppid=5147 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5165/stat : 5165 (java) S 5147 5147 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404668636 15373000704 22475 33554432000 4194304 4196468 140736634727792 140280973945776 140282008005250 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91292 KiB
[startup+0.700796 s]
/proc/loadavg: 3.87 3.76 3.00 3/234 5165
/proc/meminfo: memFree=12898940/32770624 swapFree=66939824/67108860
[pid=5147] ppid=5144 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/5147/stat : 5147 (scop.sh) S 5144 5147 3344 0 -1 4202496 554 320 0 1 0 0 0 0 20 0 1 0 404668627 115843072 348 33554432000 4194304 5098028 140730597776160 140730597773416 140427995374204 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39276544 140730597782371 140730597782640 140730597782640 140730597785549 0
/proc/5147/statm: 28282 348 296 221 0 87 0
[pid=5150] ppid=5147 vsize=15018968 memory=126824 CPUtime=0.96 cores=1,3,5,7
/proc/5150/stat : 5150 (java) S 5147 5147 3344 0 -1 1077944320 20015 0 0 0 90 6 0 0 20 0 15 0 404668629 15379423232 31706 33554432000 4194304 4196468 140736634727792 140736634710336 140282007994103 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
/proc/5150/statm: 3754742 31706 3183 1 0 3716091 0
[pid=5150/tid=5151] ppid=5147 vsize=15018968 memory=297312208 CPUtime=0.66 cores=1,3,5,7
/proc/5150/task/5151/stat : 5151 (java) R 5147 5147 3344 0 -1 4202560 17136 0 0 0 61 5 0 0 20 0 15 0 404668630 15379423232 31706 33554432000 4194304 4196468 140736634727792 140281979824656 140282008016029 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5152] ppid=5147 vsize=15018968 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5152/stat : 5152 (java) S 5147 5147 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404668631 15379423232 31706 33554432000 4194304 4196468 140736634727792 140282012236176 140282008004309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5153] ppid=5147 vsize=15018968 memory=116 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5153/stat : 5153 (java) S 5147 5147 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404668631 15379423232 31706 33554432000 4194304 4196468 140736634727792 140281826392336 140282008004309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5154] ppid=5147 vsize=15018968 memory=10770 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5154/stat : 5154 (java) S 5147 5147 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404668631 15379423232 31706 33554432000 4194304 4196468 140736634727792 140281825340048 140282008004309 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5155] ppid=5147 vsize=15018968 memory=19455 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5155/stat : 5155 (java) S 5147 5147 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404668631 15379423232 31706 33554432000 4194304 4196468 140736634727792 140281824287248 140282008004309 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5156] ppid=5147 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5156/stat : 5156 (java) S 5147 5147 3344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404668633 15379423232 31706 33554432000 4194304 4196468 140736634727792 140280978156144 140282008005250 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5157] ppid=5147 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5157/stat : 5157 (java) S 5147 5147 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404668633 15379423232 31706 33554432000 4194304 4196468 140736634727792 140280611202336 140282008004309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5159] ppid=5147 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5159/stat : 5159 (java) S 5147 5147 3344 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404668633 15379423232 31706 33554432000 4194304 4196468 140736634727792 140280476980848 140282008004309 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5160] ppid=5147 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5160/stat : 5160 (java) S 5147 5147 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404668636 15379423232 31706 33554432000 4194304 4196468 140736634727792 140280102476368 140282008012699 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5161] ppid=5147 vsize=15018968 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/5150/task/5161/stat : 5161 (java) R 5147 5147 3344 0 -1 4202560 427 0 0 0 5 0 0 0 20 0 15 0 404668636 15379423232 31706 33554432000 4194304 4196468 140736634727792 140280977102960 140281987682512 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5162] ppid=5147 vsize=15018968 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5150/task/5162/stat : 5162 (java) R 5147 5147 3344 0 -1 4202560 492 0 0 0 8 0 0 0 20 0 15 0 404668636 15379423232 31706 33554432000 4194304 4196468 140736634727792 140280976050160 140281988165264 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5163] ppid=5147 vsize=15018968 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/5150/task/5163/stat : 5163 (java) S 5147 5147 3344 0 -1 1077944384 606 0 0 0 15 0 0 0 20 0 15 0 404668636 15379423232 31706 33554432000 4194304 4196468 140736634727792 140280974997872 140282008005250 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5164] ppid=5147 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5164/stat : 5164 (java) S 5147 5147 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404668636 15379423232 31706 33554432000 4194304 4196468 140736634727792 140279604570592 140282008004309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
[pid=5150/tid=5165] ppid=5147 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5150/task/5165/stat : 5165 (java) S 5147 5147 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404668636 15379423232 31706 33554432000 4194304 4196468 140736634727792 140280973945776 140282008005250 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24416256 140736634733354 140736634733722 140736634733722 140736634736591 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 128216 KiB
[startup+1.50088 s]
/proc/loadavg: 3.87 3.76 3.00 5/234 5165
/proc/meminfo: memFree=12623568/32770624 swapFree=66939824/67108860
[pid=5147] ppid=5144 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/5147/stat : 5147 (scop.sh) S 5144 5147 3344 0 -1 4202496 554 320 0 1 0 0 0 0 20 0 1 0 404668627 115843072 348 33554432000 4194304 5098028 140730597776160 140730597773416 140427995374204 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39276544 140730597782371 140730597782640 140730597782640 140730597785549 0
/proc/5147/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
[pid=5221/tid=5224] ppid=5147 vsize=8068440 memory=119680 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5224/stat : 5224 (java) S 5147 5147 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404725530 8262082560 29920 33554432000 4194304 4196468 140722781888224 139851861056144 139852376381141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5225] ppid=5147 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5225/stat : 5225 (java) S 5147 5147 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404725530 8262082560 29920 33554432000 4194304 4196468 140722781888224 139851860003088 139852376381141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5226] ppid=5147 vsize=8068440 memory=558840 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5226/stat : 5226 (java) S 5147 5147 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404725530 8262082560 29920 33554432000 4194304 4196468 140722781888224 139851858950544 139852376381141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5227] ppid=5147 vsize=8068440 memory=119680 CPUtime=0.04 cores=1,3,5,7
/proc/5221/task/5227/stat : 5227 (java) S 5147 5147 3344 0 -1 1077944384 5 0 0 0 2 2 0 0 20 0 19 0 404725531 8262082560 29920 33554432000 4194304 4196468 140722781888224 139851629783792 139852376382082 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5228] ppid=5147 vsize=8068440 memory=804 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5228/stat : 5228 (java) S 5147 5147 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404725532 8262082560 29920 33554432000 4194304 4196468 140722781888224 139851248690848 139852376381141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5229] ppid=5147 vsize=8068440 memory=2580 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5229/stat : 5229 (java) S 5147 5147 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404725532 8262082560 29920 33554432000 4194304 4196468 140722781888224 139850980254960 139852376381141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5230] ppid=5147 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5230/stat : 5230 (java) S 5147 5147 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404725534 8262082560 29920 33554432000 4194304 4196468 140722781888224 139850605746640 139852376389531 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5231] ppid=5147 vsize=8068440 memory=3504 CPUtime=0.12 cores=1,3,5,7
/proc/5221/task/5231/stat : 5231 (java) S 5147 5147 3344 0 -1 1077944384 742 0 0 0 11 1 0 0 20 0 19 0 404725534 8262082560 29920 33554432000 4194304 4196468 140722781888224 139851628730608 139852376382082 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5232] ppid=5147 vsize=8068440 memory=3504 CPUtime=0.09 cores=1,3,5,7
/proc/5221/task/5232/stat : 5232 (java) S 5147 5147 3344 0 -1 1077944384 292 0 0 0 8 1 0 0 20 0 19 0 404725534 8262082560 29920 33554432000 4194304 4196468 140722781888224 139851627678064 139852376382082 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5233] ppid=5147 vsize=8068440 memory=37200 CPUtime=0.2 cores=1,3,5,7
/proc/5221/task/5233/stat : 5233 (java) S 5147 5147 3344 0 -1 1077944384 533 0 0 0 20 0 0 0 20 0 19 0 404725534 8262082560 29920 33554432000 4194304 4196468 140722781888224 139851626625008 139852376382082 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5234] ppid=5147 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5234/stat : 5234 (java) S 5147 5147 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404725535 8262082560 29920 33554432000 4194304 4196468 140722781888224 139850107840864 139852376381141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5235] ppid=5147 vsize=8068440 memory=1472 CPUtime=1.02 cores=1,3,5,7
/proc/5221/task/5235/stat : 5235 (java) S 5147 5147 3344 0 -1 1077944384 113 0 0 0 49 53 0 0 20 0 19 0 404725535 8262082560 29920 33554432000 4194304 4196468 140722781888224 139851625573424 139852376382082 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 51 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5237] ppid=5147 vsize=8068440 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5237/stat : 5237 (java) S 5147 5147 3344 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404725600 8262082560 29920 33554432000 4194304 4196468 140722781888224 139851617539904 139852376395545 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5239] ppid=5147 vsize=8068440 memory=558836 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5239/stat : 5239 (java) S 5147 5147 3344 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 404725601 8262082560 29920 33554432000 4194304 4196468 140722781888224 139849570955120 139852376392861 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5240] ppid=5147 vsize=8068440 memory=119680 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5240/stat : 5240 (java) S 5147 5147 3344 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 404725601 8262082560 29920 33554432000 4194304 4196468 140722781888224 139849436732944 139852376392861 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5241] ppid=5147 vsize=8068440 memory=558836 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5241/stat : 5241 (java) S 5147 5147 3344 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 404725603 8262082560 29920 33554432000 4194304 4196468 140722781888224 139849705184560 139852376381141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
Current children cumulated CPU time: 2452.11 s
Current children cumulated vsize: 8786032 KiB
Current children cumulated memory: 679992 KiB
[startup+2322.3 s]
/proc/loadavg: 1.64 1.98 2.14 3/237 5605
/proc/meminfo: memFree=6558388/32770624 swapFree=66939824/67108860
[pid=5147] ppid=5144 vsize=113128 memory=1472 CPUtime=757.26 cores=1,3,5,7
/proc/5147/stat : 5147 (scop.sh) S 5144 5147 3344 0 -1 4202496 582 211253 0 1 0 0 74956 770 20 0 1 0 404668627 115843072 368 33554432000 4194304 5098028 140730597776160 140730597772904 140427995374204 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39276544 140730597782371 140730597782640 140730597782640 140730597785549 0
/proc/5147/statm: 28282 368 311 221 0 87 0
[pid=5221] ppid=5147 vsize=8068440 memory=119680 CPUtime=2.3 cores=1,3,5,7
/proc/5221/stat : 5221 (java) S 5147 5147 3344 0 -1 1077944320 19962 0 0 0 169 61 0 0 20 0 19 0 404725528 8262082560 29920 33554432000 4194304 4196468 140722781888224 140722781870768 139852376370935 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
/proc/5221/statm: 2017110 29920 3202 1 0 1978454 0
[pid=5236] ppid=5221 vsize=611188 memory=565644 CPUtime=1752.6 cores=1,3,5,7
/proc/5236/stat : 5236 (cryptominisat5) R 5221 5147 3344 0 -1 4202496 3191374 0 0 0 175063 197 0 0 20 0 1 0 404725600 625856512 141411 33554432000 4194304 4451008 140725360160032 140725360155960 140654487803816 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 33357824 140725360161725 140725360161856 140725360161856 140725360164806 0
/proc/5236/statm: 152797 141411 657 63 0 146524 0
[pid=5221/tid=5222] ppid=5147 vsize=8068440 memory=1472 CPUtime=0.75 cores=1,3,5,7
/proc/5221/task/5222/stat : 5222 (java) S 5147 5147 3344 0 -1 1077944384 16881 0 0 0 70 5 0 0 20 0 19 0 404725528 8262082560 29920 33554432000 4194304 4196468 140722781888224 139852348211104 139852376381141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5223] ppid=5147 vsize=8068440 memory=119680 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5223/stat : 5223 (java) S 5147 5147 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404725530 8262082560 29920 33554432000 4194304 4196468 140722781888224 139852380613136 139852376381141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5224] ppid=5147 vsize=8068440 memory=119680 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5224/stat : 5224 (java) S 5147 5147 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404725530 8262082560 29920 33554432000 4194304 4196468 140722781888224 139851861056144 139852376381141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5225] ppid=5147 vsize=8068440 memory=119680 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5225/stat : 5225 (java) S 5147 5147 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404725530 8262082560 29920 33554432000 4194304 4196468 140722781888224 139851860003088 139852376381141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5226] ppid=5147 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5226/stat : 5226 (java) S 5147 5147 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404725530 8262082560 29920 33554432000 4194304 4196468 140722781888224 139851858950544 139852376381141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5227] ppid=5147 vsize=8068440 memory=1472 CPUtime=0.04 cores=1,3,5,7
/proc/5221/task/5227/stat : 5227 (java) S 5147 5147 3344 0 -1 1077944384 5 0 0 0 2 2 0 0 20 0 19 0 404725531 8262082560 29920 33554432000 4194304 4196468 140722781888224 139851629783792 139852376382082 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5228] ppid=5147 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5228/stat : 5228 (java) S 5147 5147 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404725532 8262082560 29920 33554432000 4194304 4196468 140722781888224 139851248690848 139852376381141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5229] ppid=5147 vsize=8068440 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5229/stat : 5229 (java) S 5147 5147 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404725532 8262082560 29920 33554432000 4194304 4196468 140722781888224 139850980254960 139852376381141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5230] ppid=5147 vsize=8068440 memory=37200 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5230/stat : 5230 (java) S 5147 5147 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404725534 8262082560 29920 33554432000 4194304 4196468 140722781888224 139850605746640 139852376389531 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5231] ppid=5147 vsize=8068440 memory=-3622645143214314312 CPUtime=0.12 cores=1,3,5,7
/proc/5221/task/5231/stat : 5231 (java) S 5147 5147 3344 0 -1 1077944384 742 0 0 0 11 1 0 0 20 0 19 0 404725534 8262082560 29920 33554432000 4194304 4196468 140722781888224 139851628730608 139852376382082 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5232] ppid=5147 vsize=8068440 memory=1472 CPUtime=0.09 cores=1,3,5,7
/proc/5221/task/5232/stat : 5232 (java) S 5147 5147 3344 0 -1 1077944384 292 0 0 0 8 1 0 0 20 0 19 0 404725534 8262082560 29920 33554432000 4194304 4196468 140722781888224 139851627678064 139852376382082 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5233] ppid=5147 vsize=8068440 memory=1472 CPUtime=0.2 cores=1,3,5,7
/proc/5221/task/5233/stat : 5233 (java) S 5147 5147 3344 0 -1 1077944384 535 0 0 0 20 0 0 0 20 0 19 0 404725534 8262082560 29920 33554432000 4194304 4196468 140722781888224 139851626625008 139852376382082 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5234] ppid=5147 vsize=8068440 memory=119680 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5234/stat : 5234 (java) S 5147 5147 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404725535 8262082560 29920 33554432000 4194304 4196468 140722781888224 139850107840864 139852376381141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5235] ppid=5147 vsize=8068440 memory=558864 CPUtime=1.05 cores=1,3,5,7
/proc/5221/task/5235/stat : 5235 (java) S 5147 5147 3344 0 -1 1077944384 117 0 0 0 51 54 0 0 20 0 19 0 404725535 8262082560 29920 33554432000 4194304 4196468 140722781888224 139851625573424 139852376382082 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 51 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5237] ppid=5147 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5237/stat : 5237 (java) S 5147 5147 3344 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404725600 8262082560 29920 33554432000 4194304 4196468 140722781888224 139851617539904 139852376395545 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5239] ppid=5147 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5239/stat : 5239 (java) S 5147 5147 3344 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 404725601 8262082560 29920 33554432000 4194304 4196468 140722781888224 139849570955120 139852376392861 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5240] ppid=5147 vsize=8068440 memory=119680 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5240/stat : 5240 (java) S 5147 5147 3344 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 404725601 8262082560 29920 33554432000 4194304 4196468 140722781888224 139849436732944 139852376392861 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5241] ppid=5147 vsize=8068440 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5241/stat : 5241 (java) S 5147 5147 3344 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 404725603 8262082560 29920 33554432000 4194304 4196468 140722781888224 139849705184560 139852376381141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
Current children cumulated CPU time: 2512.16 s
Current children cumulated vsize: 8792756 KiB
Current children cumulated memory: 686796 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2330.2 s]
/proc/loadavg: 1.54 1.95 2.12 3/236 5605
/proc/meminfo: memFree=6360296/32770624 swapFree=66939824/67108860
[pid=5147] ppid=5144 vsize=113128 memory=1472 CPUtime=757.26 cores=1,3,5,7
/proc/5147/stat : 5147 (scop.sh) S 5144 5147 3344 0 -1 4202496 582 211253 0 1 0 0 74956 770 20 0 1 0 404668627 115843072 368 33554432000 4194304 5098028 140730597776160 140730597772904 140427995374204 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39276544 140730597782371 140730597782640 140730597782640 140730597785549 0
/proc/5147/statm: 28282 368 311 221 0 87 0
[pid=5221] ppid=5147 vsize=8068440 memory=120536 CPUtime=2.31 cores=1,3,5,7
/proc/5221/stat : 5221 (java) S 5147 5147 3344 0 -1 1077944320 20181 0 0 0 170 61 0 0 20 0 19 0 404725528 8262082560 30134 33554432000 4194304 4196468 140722781888224 140722781870768 139852376370935 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
/proc/5221/statm: 2017110 30134 3202 1 0 1978454 0
[pid=5236] ppid=5221 vsize=809488 memory=740588 CPUtime=1760.49 cores=1,3,5,7
/proc/5236/stat : 5236 (cryptominisat5) R 5221 5147 3344 0 -1 4202496 3252602 0 0 0 175847 202 0 0 20 0 1 0 404725600 828915712 185147 33554432000 4194304 4451008 140725360160032 140725360154136 140654487886155 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 33357824 140725360161725 140725360161856 140725360161856 140725360164806 0
/proc/5236/statm: 202372 185147 693 63 0 196099 0
[pid=5221/tid=5222] ppid=5147 vsize=8068440 memory=1608 CPUtime=0.75 cores=1,3,5,7
/proc/5221/task/5222/stat : 5222 (java) S 5147 5147 3344 0 -1 1077944384 16881 0 0 0 70 5 0 0 20 0 19 0 404725528 8262082560 30134 33554432000 4194304 4196468 140722781888224 139852348211104 139852376381141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5223] ppid=5147 vsize=8068440 memory=119680 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5223/stat : 5223 (java) S 5147 5147 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404725530 8262082560 30134 33554432000 4194304 4196468 140722781888224 139852380613136 139852376381141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5224] ppid=5147 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5224/stat : 5224 (java) S 5147 5147 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404725530 8262082560 30134 33554432000 4194304 4196468 140722781888224 139851861056144 139852376381141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5225] ppid=5147 vsize=8068440 memory=119680 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5225/stat : 5225 (java) S 5147 5147 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404725530 8262082560 30134 33554432000 4194304 4196468 140722781888224 139851860003088 139852376381141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5226] ppid=5147 vsize=8068440 memory=558852 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5226/stat : 5226 (java) S 5147 5147 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404725530 8262082560 30134 33554432000 4194304 4196468 140722781888224 139851858950544 139852376381141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5227] ppid=5147 vsize=8068440 memory=55 CPUtime=0.04 cores=1,3,5,7
/proc/5221/task/5227/stat : 5227 (java) S 5147 5147 3344 0 -1 1077944384 6 0 0 0 2 2 0 0 20 0 19 0 404725531 8262082560 30134 33554432000 4194304 4196468 140722781888224 139851629783792 139852376382082 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5228] ppid=5147 vsize=8068440 memory=6371563644451508304 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5228/stat : 5228 (java) S 5147 5147 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404725532 8262082560 30134 33554432000 4194304 4196468 140722781888224 139851248690848 139852376381141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5229] ppid=5147 vsize=8068440 memory=6443332100905330281 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5229/stat : 5229 (java) S 5147 5147 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404725532 8262082560 30134 33554432000 4194304 4196468 140722781888224 139850980254960 139852376381141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5230] ppid=5147 vsize=8068440 memory=7519147063037157461 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5230/stat : 5230 (java) S 5147 5147 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404725534 8262082560 30134 33554432000 4194304 4196468 140722781888224 139850605746640 139852376389531 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5231] ppid=5147 vsize=8068440 memory=6441371654561087590 CPUtime=0.12 cores=1,3,5,7
/proc/5221/task/5231/stat : 5231 (java) S 5147 5147 3344 0 -1 1077944384 742 0 0 0 11 1 0 0 20 0 19 0 404725534 8262082560 30134 33554432000 4194304 4196468 140722781888224 139851628730608 139852376382082 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5232] ppid=5147 vsize=8068440 memory=6655300316396806240 CPUtime=0.09 cores=1,3,5,7
/proc/5221/task/5232/stat : 5232 (java) S 5147 5147 3344 0 -1 1077944384 292 0 0 0 8 1 0 0 20 0 19 0 404725534 8262082560 30134 33554432000 4194304 4196468 140722781888224 139851627678064 139852376382082 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5233] ppid=5147 vsize=8068440 memory=6944656592387989600 CPUtime=0.2 cores=1,3,5,7
/proc/5221/task/5233/stat : 5233 (java) S 5147 5147 3344 0 -1 1077944384 751 0 0 0 20 0 0 0 20 0 19 0 404725534 8262082560 30134 33554432000 4194304 4196468 140722781888224 139851626625008 139852376382082 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5234] ppid=5147 vsize=8068440 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5234/stat : 5234 (java) S 5147 5147 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404725535 8262082560 30134 33554432000 4194304 4196468 140722781888224 139850107840864 139852376381141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5235] ppid=5147 vsize=8068440 memory=6944652177228980320 CPUtime=1.06 cores=1,3,5,7
/proc/5221/task/5235/stat : 5235 (java) S 5147 5147 3344 0 -1 1077944384 117 0 0 0 51 55 0 0 20 0 19 0 404725535 8262082560 30134 33554432000 4194304 4196468 140722781888224 139851625573424 139852376382082 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 51 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5237] ppid=5147 vsize=8068440 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5237/stat : 5237 (java) S 5147 5147 3344 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404725600 8262082560 30134 33554432000 4194304 4196468 140722781888224 139851617539904 139852376395545 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5239] ppid=5147 vsize=8068440 memory=4126316290023845779 CPUtime=0.01 cores=1,3,5,7
/proc/5221/task/5239/stat : 5239 (java) S 5147 5147 3344 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 404725601 8262082560 30134 33554432000 4194304 4196468 140722781888224 139849570955088 139852376392861 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5240] ppid=5147 vsize=8068440 memory=1608 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5240/stat : 5240 (java) S 5147 5147 3344 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 404725601 8262082560 30134 33554432000 4194304 4196468 140722781888224 139849436732944 139852376392861 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
[pid=5221/tid=5241] ppid=5147 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/5221/task/5241/stat : 5241 (java) S 5147 5147 3344 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 404725603 8262082560 30134 33554432000 4194304 4196468 140722781888224 139849705184560 139852376381141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18685952 140722781893628 140722781893786 140722781893786 140722781896655 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 8991056 KiB
Current children cumulated memory: 862596 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2330.21 s]
# the end of solver process 5147 was just reported to runsolver
# cumulated CPU time of all completed processes: user=749.563 s, system=7.7064 s
[startup+2330.26 s]
# the end of solver process 5221 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.75 s, system=10.403 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2330.26
CPU time (s): 2520.15
CPU user time (s): 2509.75
CPU system time (s): 10.403
CPU usage (%): 108.149
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 11802652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.75
system time used= 10.403
maximum resident set size= 11801956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3485189
page faults= 1
swaps= 0
block input operations= 32
block output operations= 214160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59702
involuntary context switches= 2942
# summary of solver processes directly reported to runsolver:
# pid: 5147,5221
# total CPU time (s): 2520.15
# total CPU user time (s): 2509.75
# total CPU system time (s): 10.403
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4025 second user time and 26.4458 second system time
The end